APA (7th ed.) Citation

(2023). Computer Aided Verification. Springer Nature Switzerland.

Chicago Style (17th ed.) Citation

Computer Aided Verification. Springer Nature Switzerland, 2023.

MLA (9th ed.) Citation

Computer Aided Verification. Springer Nature Switzerland, 2023.

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