TY  - BOOK
AU  - Brat,Guillaume
AU  - Rungta,Neha
AU  - Venet,Arnaud
TI  - NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings 
SN  - 9783642380884
PY  - 2013///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Computer programming
KW  - Programming languages (Electronic computers)
KW  - Operating systems (Computers)
KW  - Computer logic
N1  - Model checking -- Applications of formal methods -- Complex systems -- Static analysis -- Symbolic execution -- Requirements and specifications -- Probabilistic and statistical analysis.- Theorem proving
UR  - http://dx.doi.org/10.1007/978-3-642-38088-4
ER  -