APA aipamena

CAV$eConference. (1989). Computer aided verification: International conference, CAV : proceedings. Springer-Verlag.

Chicago Style aipamena

CAV$eConference. Computer Aided Verification: International Conference, CAV : Proceedings. Berlin ; New York: Springer-Verlag, 1989.

MLA aipamena

CAV$eConference. Computer Aided Verification: International Conference, CAV : Proceedings. Springer-Verlag, 1989.