Harry, A. (1992). State of the art techniques in automatic generation of reference implementations & test code from formal specifications.
Chicago-Zitierstil (17. Ausg.)Harry, Andrew. State of the Art Techniques in Automatic Generation of Reference Implementations & Test Code from Formal Specifications. Teddington, Middlesex, 1992.
MLA-Zitierstil (9. Ausg.)Harry, Andrew. State of the Art Techniques in Automatic Generation of Reference Implementations & Test Code from Formal Specifications. 1992.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.