Verification, Model Checking, and Abstract Interpretation
Subtitle: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers
Publisher: Springer London, Limited
Published: 2003
Language: eng
ISBN-13: 9783540478133
Subjects: Computer programs, validation