Original language | English |
---|---|
Title of host publication | CAV: Computer Aided Verification |
Publication status | Published - 2012 |
Event | CAV: Computer Aided Verification - Berkely, United States Duration: 7 Jul 2012 → 13 Jul 2012 |
Conference
Conference | CAV: Computer Aided Verification |
---|---|
Country/Territory | United States |
City | Berkely |
Period | 7/07/12 → 13/07/12 |