Dillig. (2019). Computer Aided Verification (1.). Springer International Publishing.
Citación estilo ChicagoDillig. Computer Aided Verification. 1. Springer International Publishing, 2019.
Cita MLADillig. Computer Aided Verification. 1. Springer International Publishing, 2019.
Warning: These citations may not always be 100% accurate.