Model Checking Software: 17th International Spin Workshop, Enschede, The Netherlands, September 27 29, 2010, Proceedings (Lecture Notes In Computer ... Computer Science And General Issues)
Format: paperback
ISBN:
9783642161636 (3642161634)
Publish date: September 27th 2010
Publisher: Springer
Pages no: 261
Edition language: English