Model checking software
Subtitle: 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings
By: Matthew Dwyer (ed.)
Contributors: Dwyer, Matthew, 1963-; ACM Sigsoft
Series: Lecture notes in computer science -- 2057
Publisher: Springer
Published: 2001
Place of publication: Berlin; New York
Language: eng
Number of pages: 311
Subjects: SPIN (Computer file) -- Congresses; SPIN (Computer file) -- Congresses; Computer software -- Verification -- Congresses
Genres: Congresses
Notes: On cover: ACM SIGSOFT

Includes bibliographical references and index