Model checking software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings /

Bibliographic Details
Corporate Author:	International SPIN Workshop Snowbird, Utah
Other Authors:	Groce, Alex, Musuvathi, Madanlal
Format:	Conference Proceeding eBook
Language:	English
Published:	Heidelberg : Springer, 2011.
Series:	LNCS sublibrary. Theoretical computer science and general issues. Lecture notes in computer science ; 6823.
Subjects:	SPIN (Computer file) > Congresses. Computer software > Verification > Congresses. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online