Beierle, C. (1985). Algebraic implementations in an integrated software development and verification system.
Chicago-Zitierstil (17. Ausg.)Beierle, Christoph. Algebraic Implementations in an Integrated Software Development and Verification System. 1985.
MLA-Zitierstil (9. Ausg.)Beierle, Christoph. Algebraic Implementations in an Integrated Software Development and Verification System. 1985.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.