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