SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings /

Bibliographic Details
Corporate Author:	International SPIN Workshop Stanford, Calif.
Other Authors:	Havelund, Klaus, 1955-, Penix, John, 1970-, Visser, Willem, 1968-
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, 2000.
Series:	Lecture notes in computer science ; 1885.
Subjects:	Computer software > Verification > Congresses. SPIN (Computer file) > Congresses.

Remote Storage