SpringerLink (Online service), CAV, CAV (Conference), & Wolper, P. (1995). Computer aided verification: 7th international conference, CAV '95, Liège, Belgium, July 3 - 5, 1995 ; proceedings. Springer.
Chicago Style (17th ed.) CitationSpringerLink (Online service), CAV, CAV (Conference), and Pierre Wolper. Computer Aided Verification: 7th International Conference, CAV '95, Liège, Belgium, July 3 - 5, 1995 ; Proceedings. Berlin [u.a.]: Springer, 1995.
MLA (9th ed.) CitationSpringerLink (Online service), et al. Computer Aided Verification: 7th International Conference, CAV '95, Liège, Belgium, July 3 - 5, 1995 ; Proceedings. Springer, 1995.
Warning: These citations may not always be 100% accurate.