CAV (Conference) Eloúnda, 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 (Conference) Eloúnda, 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 (8th ed.) CitationCAV (Conference) Eloúnda, 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.