Apt, K. R. (1994). Programmverifikation: Sequentielle, parallele und verteilte Programme. Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-57947-9
Chicago-Zitierstil (17. Ausg.)Apt, Krzysztof R. Programmverifikation: Sequentielle, Parallele Und Verteilte Programme. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. https://doi.org/10.1007/978-3-642-57947-9.
MLA-Zitierstil (9. Ausg.)Apt, Krzysztof R. Programmverifikation: Sequentielle, Parallele Und Verteilte Programme. Springer Berlin Heidelberg, 1994. https://doi.org/10.1007/978-3-642-57947-9.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.