Model Checking Software
Subtitle: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings
Publisher: Springer London, Limited
Published: 2009
Language: eng
ISBN-13: 9783642026522