TY  - BOOK
AU  - Bartocci,Ezio
AU  - Ramakrishnan,C.R
TI  - Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings 
SN  - 9783642391767
PY  - 2013///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Programming languages (Electronic computers)
KW  - Computer logic
N1  - Explicit-state model checking techniques -- Other related tools -- Techniques for the verification and formal testing of software systems in general
UR  - http://dx.doi.org/10.1007/978-3-642-39176-7
ER  -