Dillig. (2019). Computer Aided Verification (1.). Springer International Publishing.
Cita Chicago Style (17a ed.)Dillig. Computer Aided Verification. 1. Springer International Publishing, 2019.
Cita MLA (8a ed.)Dillig. Computer Aided Verification. 1. Springer International Publishing, 2019.
Precaución: Estas citas no son 100% exactas.