Verification, model checking, and abstract interpretation
Subtitle: 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings
By: Radhia Cousot (ed.).
Contributors: Cousot, Radhia.
Series: Lecture notes in computer science -- 3385
Publisher: Springer
Published: 2005
Place of publication: Berlin; New York
Language: eng
Number of pages: 481
ISBN-13: 9783540242970
Subjects: Computer programs -- Verification -- Congresses.; Logiciels -- Vérification -- Congrès.
Genres: Congresses.; Congrès.
Other titles: VMCAI 2005
Notes: Includes bibliographical references and index.

Also issued online.