APA (7th ed.) Citation

CAV (Conference) Montréal, Québec), Bochmann, G. v., & Probst, D. K. (1993). Computer aided verification: Fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings. Springer-Verlag.

Chicago Style (17th ed.) Citation

CAV (Conference) Montréal, Québec), Gregor von Bochmann, and D. K. Probst. Computer Aided Verification: Fourth International Workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : Proceedings. Berlin ; New York: Springer-Verlag, 1993.

MLA (8th ed.) Citation

CAV (Conference) Montréal, Québec), et al. Computer Aided Verification: Fourth International Workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : Proceedings. Springer-Verlag, 1993.