Title: Formal specification in metamorphic programming
First published: 1991
Subjects: Development, Computer software
LC classification: QA76.99 .P46 1991