Leino, K. R. M. c. 2. J., & Leino, K. c. 2. J. (2023). Program Proofs. MIT Press Ltd.
Chicago-Zitierstil (17. Ausg.)Leino, K. Rustan M. ca. 20./21. Jh, und Kaleb ca. 20./21. Jh Leino. Program Proofs. MIT Press Ltd, 2023.
MLA-Zitierstil (9. Ausg.)Leino, K. Rustan M. ca. 20./21. Jh, und Kaleb ca. 20./21. Jh Leino. Program Proofs. MIT Press Ltd, 2023.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.