CAV 2004: Difference between revisions
CSV import |
No edit summary |
||
| Line 1: | Line 1: | ||
{{Event | {{Event | ||
|Acronym=CAV 2004 | |Acronym=CAV 2004 | ||
|Title=Computer Aided Verification | |||
|Ordinal=16 | |||
|Series=CAV | |Series=CAV | ||
|Type=Conference | |||
|Field=Computer-Aided Verification | |||
|Start date=2004/07/13 | |||
|End date=2004/07/17 | |||
|City=Boston | |City=Boston | ||
|State=MA | |State=MA | ||
|Country=USA | |Country=USA | ||
}} | }} | ||