Model Checking Software
Subtitle: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings
Publisher: Springer London, Limited
Published: 2004
Language: eng
ISBN-13: 9783540247326
Subjects: Computer software, verification