International conference on computer-aided verification :Montréal, Canada, Probst, D. K., & Bochmann, G. v. Computer aided verification: Fourth International Workshop, CAV '92, Montreal, Canada, June 29 July 1, 1992 : proceedings. Springer.
Style de citation Chicago (17e éd.)International conference on computer-aided verification :Montréal, Canada, David Karl Probst, et Gregor von Bochmann. Computer Aided Verification: Fourth International Workshop, CAV '92, Montreal, Canada, June 29 July 1, 1992 : Proceedings. Berlin [etc.]: Springer.
Style de citation MLA (8e éd.)International conference on computer-aided verification :Montréal, Canada, et al. Computer Aided Verification: Fourth International Workshop, CAV '92, Montreal, Canada, June 29 July 1, 1992 : Proceedings. Springer.