Verification, model checking, and abstract interpretation
Subtitle: third international workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers
By: Agostino Cortesi (ed.)
Contributors: Cortesi, Agostino
Series: Lecture notes in computer science -- 2294; Lecture notes in computer science -- 2294
Publisher: Springer
Published: 2002
Place of publication: Berlin; New York
Language: eng
Number of pages: 330
Subjects: Computer programs -- Verification -- Congresses
Genres: Congresses
Other titles: VMCAI 2002
Notes: Includes bibliographical references and index

Also available via the World Wide Web