CAV (Conference) (4th : 1992 : Montreal, Canada), Bochmann, G. V., & Probst, D. K. (1993). Computer aided verification: 4th international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Springer-Verlag.
Chicago Style (17th ed.) CitationCAV (Conference) (4th : 1992 : Montreal, Canada), G. V. Bochmann, and D. K. Probst. Computer Aided Verification: 4th International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Berlin: Springer-Verlag, 1993.
MLA (9th ed.) CitationCAV (Conference) (4th : 1992 : Montreal, Canada), et al. Computer Aided Verification: 4th International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Springer-Verlag, 1993.
Warning: These citations may not always be 100% accurate.