Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings /

Bibliographic Details
Corporate Author:	International SPIN Workshop Portland, Or.
Other Authors:	Ball, Thomas, 1965-, Rajamani, Sriram K., 1970-
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, [2003]
Series:	Lecture notes in computer science ; 2648.
Subjects:	SPIN (Computer file) > Congresses. Computer software > Verification > Congresses. Logica. ESPECIFICAÇÃO DE PROGRAMAS E SISTEMAS.

Remote Storage