Verification, model checking, and abstract interpretation
Subtitle: 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings
By: Gilles Barthe, Manuel Hermenegildo, eds
Contributors: Barthe, Gilles, 1967-; Hermenegildo, Manuel
Series: Lecture notes in computer science -- 5944; LNCS sublibrary: SL 1-theoretical computer science and general issues; Lecture notes in computer science -- 5944.; LNCS sublibrary
Publisher: Springer
Published: 2010
Place of publication: Berlin; New York
Language: eng
Number of pages: 395
ISBN-13: 9783642113185
Notes: Includes bibliographical references and index.

Also issued online.