Cita APA (7a ed.)
Chockler, H., & Weissenbacher, G. (2018). Computer Aided Verification. Springer International Publishing.
Cita Chicago Style (17a ed.)
Chockler, Hana, y Georg Weissenbacher. Computer Aided Verification. Springer International Publishing, 2018.
Cita MLA (9a ed.)
Chockler, Hana, y Georg Weissenbacher. Computer Aided Verification. Springer International Publishing, 2018.
Precaución: Estas citas no son 100% exactas.