Model Checking Software: 15th Inteational SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
Hardcover: 343 pages
Publisher: Springer (July 25, 2008)
Language: English
ISBN-10: 3540851135