Model checking software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 : proceedings /

Bibliographic Details
Corporate Author:	International SPIN Workshop Grenoble, France
Other Authors:	Păsăreanu, Corina S.
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2009]
Series:	LNCS sublibrary. Theoretical computer science and general issues. Lecture notes in computer science ; 5578.
Subjects:	SPIN (Computer file) > Congresses. Computer software > Verification > Congresses. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online