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
Description
Physical Description:xi, 394 p. : il. ; 24 cm.
Bibliography:Incluye referencias bibliográficas e índice.
ISBN:9783540697350
ISSN:ISSN: 0302-9743 ;