Computer Aided Verification

MLA

Enea, Constantin, and Akash Lal. Computer Aided Verification. Springer Nature Switzerland, 2023.

APA

Enea, C., & Lal, A. (2023). Computer Aided Verification. Springer Nature Switzerland.

Chicago

Enea, Constantin, and Akash Lal. Computer Aided Verification. : Springer Nature Switzerland, 2023.