
Model Checking Software
23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
Synopsis
About this book
- Language:English
- ISBN:9783319325828
- Release date:May 23, 2016
- Publisher:Springer International Publishing
- Imprint:Springer
- File format:EPUB2
- File size:4.23 MB
- Download options:EPUB2 (Adobe DRM)





















































