SPIN Workshop 2008: Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings

Shelfclass_id	4.B.3
Sortkey	SPIN
Authors	Klaus Havelund, Rupak Majumdar, Jens Palsberg
Title	SPIN Workshop 2008: Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings
Publisher	Springer
Edition	1st ed.
Year	2008
Languages	eng
Isbn	9783540851134
Series	Lecture Notes in Computer Science
Volume	5156
Issn	0302-9743
Description	342 p.
Record date	20090826
Location	Berlin