Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /

Bibliographic Details
Corporate Authors:	International SPIN Workshop Toronto, Ont., ACM Sigsoft
Other Authors:	Dwyer, Matthew, 1963-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, 2001.
Series:	Lecture notes in computer science ; 2057.
Subjects:	Computer software > Verification > Congresses. SPIN (Computer file) > Congresses.

Remote Storage