View source for CAV 2006

{{Event
|Acronym=CAV 2006
|Title=Computer Aided Verification
|Ordinal=18
|Series=CAV
|Type=Conference
|Field=Computer-Aided Verification
|Start date=2006/08/17
|End date=2006/08/20
|Homepage=http://dblp.uni-trier.de/db/conf/cav/cav2006.html
|City=Seattle
|State=Washington
|Country=USA
|Submitted papers=121
|Accepted papers=35
|has Proceedings Link=https://www.springer.com/gp/book/9783540374060
}}