Style de citation APA (7e éd.)

International conference on computer-aided verification :Chicago, Ill., Sistla, A. P., & Emerson, E. A. Computer aided verification : ; proceedings: 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Springer.

Style de citation Chicago (17e éd.)

International conference on computer-aided verification :Chicago, Ill., Aravinda Prasad Sistla, et E. Allen Emerson. Computer Aided Verification : ; Proceedings: 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Berlin [etc.]: Springer.

Style de citation MLA (8e éd.)

International conference on computer-aided verification :Chicago, Ill., et al. Computer Aided Verification : ; Proceedings: 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Springer.