Model Checking Software
Subtitle: 10th International SPIN Workshop. Portland, or, USA, May 9-10, 2003, Proceedings
Publisher: Springer London, Limited
Published: 2003
Language: eng
ISBN-13: 9783540448297
Subjects: Computer files; Computer software, verification; Computers, congresses