Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Proceedings of the 9th International conference on Verification, Model checking and Abstract interpretation

Francesco Logozzo, Doron Peled, and Lenore Zuck

Details

Publication typeProceedings
URLhttp://www1.cs.uic.edu/vmcai08/index.php
Volume4906
SeriesLectures Notes in Computer Science
PublisherSpringer Verlag
> Publications > Proceedings of the 9th International conference on Verification, Model checking and Abstract interpretation