View source for CAV 2004

{{Event
|Acronym=CAV 2004
|Title=Computer Aided Verification
|Ordinal=16
|Series=CAV
|Type=Conference
|Field=Computer-Aided Verification
|Start date=2004/07/13
|End date=2004/07/17
|City=Boston
|State=Massachusetts
|Country=USA
|Submitted papers=144
|Accepted papers=48
|has Proceedings Link=https://www.springer.com/gp/book/9783540223429
}}
Acceptance rate	33.3 +
Accepted papers	48 +
Acronym	CAV 2004 +
End date	July 17, 2004 +
Event in series	CAV +
Event type	Conference +
Has coordinates	42° 21' 37", -71° 3' 30"Latitude: 42.360252777778 Longitude: -71.058291666667 +
Has location city	Boston +
Has location country	Category:USA +
Has location state	Massachusetts +
IsA	Event +
Ordinal	16 +
Start date	July 13, 2004 +
Submitted papers	144 +
Title	Computer Aided Verification +