CAV-2008: 20th International Conference on Computer Aided Verification
Description
The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. The proceedings of the conference will be...
» more
Where and When
|
||||
Were you there?
 |
Log in to add this conference to your personal conference calendar.
0 users watched 0 users attended |
Are you the conference organizer?
Contact us to claim ownership of this page
Report a Problem With This Conference
Click here to report a problem
|
| Overall Conference Rating: |
No attendees have reviewed this conference yet. |
More Details
| Categories: | Computers and Internet Building and Construction |
| Subcategories: | CAD/CAM - Design - Modelisation Design |
| Web Site: | http://www.princeton.edu/cav2008/ |
| Producer/Organizer: | Rajeev Alur |
