Model Checking Software: 14th Inteational SPIN

Model Checking Software: 14th Inteational SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

Hardcover: 285 pages

Publisher: Springer (June 21, 2007)

Language: English

ISBN-10: 3540733698