Cita APA (7a ed.)
Ed Brinksma, K. G. L. Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings. Springer.
Cita estilo Chicago (17a ed.)
Ed Brinksma, Kim Guldstrand Larsen. Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings. Berlín, Alemania: Springer.
Cita MLA (9a ed.)
Ed Brinksma, Kim Guldstrand Larsen. Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings. Springer.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.