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

Projects

Publications

People

Downloads

Project Tuva Enhanced Video Player

Watch the Feynman Lectures

> Publications > 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

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