Model Checking Software: 19th International Spin Workshop, Oxford, UK, July 23-24, 2012. Proceedings
Format: paperback
ISBN:
9783642317583 (3642317588)
Publish date: July 25th 2012
Publisher: Springer, 264 pages, Paperback" />
Pages no: 264
Edition language: English