APA (7th ed.) Citation

(1993). Computer aided verification: Fourth international workshop ; proceedings. Springer. https://doi.org/10.1007/3-540-56496-9

Chicago Style (17th ed.) Citation

Computer Aided Verification: Fourth International Workshop ; Proceedings. Berlin u.a: Springer, 1993. https://doi.org/10.1007/3-540-56496-9.

MLA (9th ed.) Citation

Computer Aided Verification: Fourth International Workshop ; Proceedings. Springer, 1993. https://doi.org/10.1007/3-540-56496-9.