Courcoubetis, C. (1993). Computer aided verification: Proceedings, Elounda, Greece, June 28 - July 1, 1993 ([1st ed.].). Springer.
Chicago Style (17th ed.) CitationCourcoubetis, Costas. Computer Aided Verification: Proceedings, Elounda, Greece, June 28 - July 1, 1993. [1st ed.]. Berlin: Springer, 1993.
MLA (9th ed.) CitationCourcoubetis, Costas. Computer Aided Verification: Proceedings, Elounda, Greece, June 28 - July 1, 1993. [1st ed.]. Springer, 1993.
Warning: These citations may not always be 100% accurate.