CAV '93 Elounda, Greece, & Courcoubetis, C. (1993). Computer aided verification: 5th international conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings. Springer-Verlag.
Chicago Style (17th ed.) CitationCAV '93 Elounda, Greece, and Costas Courcoubetis. Computer Aided Verification: 5th International Conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : Proceedings. Berlin ; New York: Springer-Verlag, 1993.
MLA (9th ed.) CitationCAV '93 Elounda, Greece, and Costas Courcoubetis. Computer Aided Verification: 5th International Conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : Proceedings. Springer-Verlag, 1993.
Warning: These citations may not always be 100% accurate.