TY  - BOOK
AU  - Iyoda,Juliano
AU  - Moura,Leonardo de
ED  - SpringerLink (Online service)
TI  - Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783642410710
AV  - QA75.5-76.95 
U1  - 004 23
PY  - 2013///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg, Imprint: Springer
KW  - Computer science
KW  - Computer Science
KW  - Computer Science, general
N1  - Foundational and methodological issues in formal methods -- Design and analysis of software systems -- Design and analysis of hardware systems.- Applications in various domains
N2  - This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains
UR  - http://dx.doi.org/10.1007/978-3-642-41071-0
ER  -