Verification, model checking and abstract interpretation : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings /

Bibliographic Details
Corporate Author: International conference,VMCAI 2007 Nice, France
Other Authors: Cook, Byron (ed.), Podelski, Andreas (ed.)
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, c2007.
Series:Lecture notes in computer science, vol. 4349
Subjects:
Online Access:Publisher description