Model checking software
Subtitle: 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings
By: Antti Valmari (ed.).
Contributors: Valmari, Antti.
Series: Lecture notes in computer science -- 3925
Publisher: Springer
Published: 2006
Place of publication: Berlin; New York
Language: eng
Number of pages: 305
ISBN-13: 9783540331025
Subjects: SPIN (Computer file) -- Congresses.; Computer software -- Verification -- Congresses.
Genres: Congresses.
Other titles: 13th International SPIN Workshop; Thirteenth International SPIN Workshop; International SPIN Workshop; European Joint Conferences on Theory and Practice of Software
Notes: "Co-located with the European Joint Conferences on Theory and Practice of Software (ETAPS 2006)"--Pref.

Includes bibliographical references and index.

Also issued online.