APA (7th ed.) Citation

Loeckx, J. (1987). The Foundations of Program Verification (Second Edition.). Vieweg+Teubner Verlag. https://doi.org/10.1007/978-3-322-96753-4

Chicago Style (17th ed.) Citation

Loeckx, Jacques. The Foundations of Program Verification. Second Edition. Wiesbaden: Vieweg+Teubner Verlag, 1987. https://doi.org/10.1007/978-3-322-96753-4.

MLA (9th ed.) Citation

Loeckx, Jacques. The Foundations of Program Verification. Second Edition. Vieweg+Teubner Verlag, 1987. https://doi.org/10.1007/978-3-322-96753-4.