Citazione Stile APA (7a Edizione)

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.

Citazione stile Chigago Style (17a edizione)

CAV (Conference) (4th : 1992 : Montreal, Canada), G. V. Bochmann, e D. K. Probst. Computer Aided Verification: 4th International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Berlin: Springer-Verlag, 1993.

Citatione MLA (9a ed.)

CAV (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.