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.
Citazione stile Chigago Style (17a edizione)CAV (Conference) Eloúnda, Greece), e Costas Courcoubetis. Computer Aided Verification: 5th International Conference, CAV'93, Elounda, Greece, June 28-July 1, 1993 : Proceedings. Berlin ; New York: Springer-Verlag, 1993.
Citatione MLA (8a ed.)CAV (Conference) Eloúnda, Greece), e Costas Courcoubetis. Computer Aided Verification: 5th International Conference, CAV'93, Elounda, Greece, June 28-July 1, 1993 : Proceedings. Springer-Verlag, 1993.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.