Cita APA

Lahiri. (2020). Computer Aided Verification (1.). Springer International Publishing.

Citación estilo Chicago

Lahiri. Computer Aided Verification. 1. Springer International Publishing, 2020.

Cita MLA

Lahiri. Computer Aided Verification. 1. Springer International Publishing, 2020.

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