Goingtomeet.com: CAV-2008: 20th International Conference on Computer Aided Verification

CAV-2008: 20th International Conference on Computer Aided Verification

Jul 07, 2008 - Jul 14, 2008
Princeton University, Princeton, New Jersey United States

Highlights: 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 published in the Springer-Verlag Lecture Notes in Computer Science series. A selection of papers will be invited to a special issue of the International Journal on Formal Methods in System Design.

Name
E-Mail
Message

Enter the code below:
Code:
If you can't read the image textto load another one.