View source for CAV 1997

{{Event
|Acronym=CAV 1997
|Title=Computer Aided Verification
|Ordinal=9
|Series=CAV
|Type=Conference
|Field=Computer-Aided Verification
|Start date=1997/06/22
|End date=1997/06/25
|Homepage=http://dblp.uni-trier.de/db/conf/cav/cav97.html
|City=Haifa
|Country=Israel
|Submitted papers=84
|Accepted papers=34
|has Proceedings Link=https://www.springer.com/gp/book/9783540631668
}}
Acceptance rate	40.5 +
Accepted papers	34 +
Acronym	CAV 1997 +
End date	June 25, 1997 +
Event in series	CAV +
Event type	Conference +
Has coordinates	32° 49' 9", 34° 59' 54"Latitude: 32.819122222222 Longitude: 34.998386111111 +
Has location city	Haifa +
Has location country	Category:Israel +
Homepage	http://dblp.uni-trier.de/db/conf/cav/cav97.html +
IsA	Event +
Ordinal	9 +
Start date	June 22, 1997 +
Submitted papers	84 +
Title	Computer Aided Verification +