Formal Specification in Metamorphic Programing.

David A. Penny, Richard C. Holt, Michael W. Godfrey

Browse the full FM paper archive.