CAV (Conference) Center for Discrete Mathematics and Theoretical Computer Science), CAV (Conference), Clarke, E. M., Jr., & Kurshan, R. P. (1991). Computer-aided verification: Proceedings. Springer-Verlag.
Chicago Style (17th ed.) CitationCAV (Conference) Center for Discrete Mathematics and Theoretical Computer Science), CAV (Conference), Edmund M. Clarke, Jr, and R. P. Kurshan. Computer-aided Verification: Proceedings. Berlin ; New York: Springer-Verlag, 1991.
MLA (9th ed.) CitationCAV (Conference) Center for Discrete Mathematics and Theoretical Computer Science), et al. Computer-aided Verification: Proceedings. Springer-Verlag, 1991.
Warning: These citations may not always be 100% accurate.