(2014). Program verification: Fundamental issues in computer science (softcover reprint of the original 1st ed. 1993.). Springer.
Chicago-Zitierstil (17. Ausg.)Program Verification: Fundamental Issues in Computer Science. softcover reprint of the original 1st ed. 1993. Dordrecht: Springer, 2014.
MLA-Zitierstil (9. Ausg.)Program Verification: Fundamental Issues in Computer Science. softcover reprint of the original 1st ed. 1993. Springer, 2014.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.