Model Checking Software
Subtitle: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings
Publisher: Springer
Published: Jun 30, 2011
Format: paperback
Number of pages: 208
ISBN-13: 9783642223075
Notes: Source title: Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings