APA (7th ed.) Citation

Clarke, E. M., & Kurshan, R. P. (1991). Computer-aided verification: Proceedings.2nd International Conference, CAV'90 New Brunswick,NJ, June 18-21,1990. Springer-Verlag.

Chicago Style (17th ed.) Citation

Clarke, E. M., and R. P. Kurshan. Computer-aided Verification: Proceedings.2nd International Conference, CAV'90 New Brunswick,NJ, June 18-21,1990. berlin: Springer-Verlag, 1991.

MLA (8th ed.) Citation

Clarke, E. M., and R. P. Kurshan. Computer-aided Verification: Proceedings.2nd International Conference, CAV'90 New Brunswick,NJ, June 18-21,1990. Springer-Verlag, 1991.

Warning: These citations may not always be 100% accurate.