Microsoft Research
Microsoft Translator |
Proceedings of the 9th International conference on Verification, Model checking and Abstract interpretation

Francesco Logozzo, Doron Peled, and Lenore Zuck
2008

Publisher  Springer Verlag
All copyrights reserved by Springer 2007.

Details

TypeProceedings
URLhttp://www1.cs.uic.edu/vmcai08/index.php
Volume4906
SeriesLectures Notes in Computer Science
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > Proceedings of the 9th International conference on Verification, Model checking and Abstract interpretation