Model checking software
Subtitle: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings
By: Patrice Godefroid (ed.).
Contributors: Godefroid, Patrice.
Series: Lecture notes in computer science -- 3639.
Publisher: Springer
Published: 2005
Place of publication: Berlin; New York
Language: eng
Number of pages: 287
Subjects: SPIN (Computer file) -- Congresses.; Computer software -- Verification -- Congresses.
Genres: Congresses.
Other titles: 12th International SPIN Workshop.; Twelfth International SPIN Workshop.; International SPIN Workshop.
Notes: Includes bibliographical references and index.