Cita APA

Dillig. (2019). Computer Aided Verification (1.). Springer International Publishing.

Citación estilo Chicago

Dillig. Computer Aided Verification. 1. Springer International Publishing, 2019.

Cita MLA

Dillig. Computer Aided Verification. 1. Springer International Publishing, 2019.

Warning: These citations may not always be 100% accurate.