APA (7th ed.) Citation

Courcoubetis, C. (1993). Computer aided verification: Proceedings, Elounda, Greece, June 28 - July 1, 1993 ([1st ed.].). Springer.

Chicago Style (17th ed.) Citation

Courcoubetis, Costas. Computer Aided Verification: Proceedings, Elounda, Greece, June 28 - July 1, 1993. [1st ed.]. Berlin: Springer, 1993.

MLA (9th ed.) Citation

Courcoubetis, Costas. Computer Aided Verification: Proceedings, Elounda, Greece, June 28 - July 1, 1993. [1st ed.]. Springer, 1993.