Franklin

Model checking software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings / Patrice Godefroid (ed.).

Publication:
Berlin ; New York : Springer, 2005.
Format/Description:
Conference/Event
Book
xi, 287 p. : ill. ; 35 cm.
Conference Name:
International SPIN Workshop (12th : 2005 : San Francisco, Calif.)
Series:
Lecture notes in computer science, 0302-9743 ; 3639
Status/Location:
Loading...

Get It

Details

Other Title:
12th International SPIN Workshop
Twelfth International SPIN Workshop
International SPIN Workshop
Subjects:
SPIN (Computer file) -- Congresses.
Computer software -- Verification -- Congresses.
Notes:
Includes bibliographical references and index.
Contributor:
Godefroid, Patrice.
ISBN:
3540281959 (pbk.)
OCLC:
61320923
Publisher Number:
9783540281955