Cita APA (7a ed.)
Orna Grumberg. Computer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings. Springer.
Cita estilo Chicago (17a ed.)
Orna Grumberg. Computer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings. Berlín, Alemania: Springer.
Cita MLA (9a ed.)
Orna Grumberg. Computer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings. Springer.
Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.