APA (7th ed.) Citation

CAV (Conference) Center for discrete mathematics and theoretical computer science), Clarke, E. M., & Kurshan, R. P. (1991). Computer-aided verification '90: Proceedings of a DIMACS workshop, June 18-21, 1990. American Mathematical Society.

Chicago Style (17th ed.) Citation

CAV (Conference) Center for discrete mathematics and theoretical computer science), E. M. Clarke, and R. P. Kurshan. Computer-aided Verification '90: Proceedings of a DIMACS Workshop, June 18-21, 1990. Providence: American Mathematical Society, 1991.

MLA (9th ed.) Citation

CAV (Conference) Center for discrete mathematics and theoretical computer science), et al. Computer-aided Verification '90: Proceedings of a DIMACS Workshop, June 18-21, 1990. American Mathematical Society, 1991.