CAV (Conference) Haifa, Israel), & Grumberg, O. (1997). Computer aided verification: 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings. Springer.
Chicago Style (17th ed.) CitationCAV (Conference) Haifa, Israel), and Orna Grumberg. Computer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997 : Proceedings. Berlin ; New York: Springer, 1997.
MLA (9th ed.) CitationCAV (Conference) Haifa, Israel), and Orna Grumberg. Computer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997 : Proceedings. Springer, 1997.
Warning: These citations may not always be 100% accurate.