Proceedings of the 9th International conference on Verification, Model checking and Abstract interpretation

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
> Publications > Proceedings of the 9th International conference on Verification, Model checking and Abstract interpretation