SPIN model checking and software verification
Subtitle: 7th International SPIN Workshop, Stanford, CA, USA, August 30-Sept. 1, 2000 : proceedings
By: Klaus Havelund, John Penix, Willem Visser (eds.).
Contributors: Havelund, Klaus, 1955-; Penix, John, 1970-; Visser, Willem, 1968-
Series: Lecture notes in computer science -- 1885.
Publisher: Springer
Published: 2000
Place of publication: New York
Language: eng
Number of pages: 342
Subjects: SPIN (Computer file) -- Congresses; Computer software -- Verification -- Congresses
Genres: Congresses.
Notes: Includes bibliographical references and index.