Citazione Stile APA (7a Edizione)
Gérard Berry, H. C. Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings. Springer.
Citazione stile Chigago Style (17a edizione)
Gérard Berry, Hubert Comon. Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings. Berlín, Alemania: Springer.
Citatione MLA (9a ed.)
Gérard Berry, Hubert Comon. Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings. Springer.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.