Model checking software
Subtitle: 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings
By: Dragan Bošnački, Stefan Edelkamp (eds.).
Contributors: Bošnački, Dragan, 1963-; Edelkamp, Stefan.; CAV (Conference) (19th : 2007 : Berlin, Germany)
Series: Lecture notes in computer science -- 4595.
Publisher: Springer
Published: 2007
Place of publication: Berlin; New York
Language: eng
Number of pages: 283
ISBN-13: 9783540733690
Subjects: SPIN (Computer file) -- Congresses; Computer software -- Verification -- Congresses
Genres: Congresses.
Notes: "Collocated with CAV 2007, the 19th Computer-Aided Verification Conference"-- Pref.

Includes bibliographical references and author index.