Share this page
Share this page E-mail this page Print this page RSS feeds
Home > Publications > Proceedings of the 9th International conference on Verification, Model checking and Abstract interpretation
Proceedings of the 9th International conference on Verification, Model checking and Abstract interpretation

Publisher: Springer Verlag
All copyrights reserved by Springer 2007.

Details

Type: Proceedings
URL: http://www1.cs.uic.edu/vmcai08/index.php
Volume: 4906
Series: Lectures Notes in Computer Science