CAV$eConference. (1989). Computer aided verification: International conference, CAV : proceedings. Springer-Verlag.
Citazione stile Chigago Style (17a edizione)CAV$eConference. Computer Aided Verification: International Conference, CAV : Proceedings. Berlin ; New York: Springer-Verlag, 1989.
Citatione MLA (8a ed.)CAV$eConference. Computer Aided Verification: International Conference, CAV : Proceedings. Springer-Verlag, 1989.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.