TY - GEN
AU - Gheyi, Rohit
AU - Naumann, David
TI - Formal Methods: Foundations and Applications 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
PB - Springer
SN - 9783642332968
KW - Logic design
KW - Information Systems
KW - Computer Science
KW - Formal methods (Computer science) Congresses
KW - Computer science
KW - Software engineering
KW - Machine theory.
KW - Compilers (Computer programs).
KW - Electronic data processing
KW - Konferenzschrift 2012 Natal, Rio Grande do Norte
KW - Konferenzschrift
KW - Formale Methode
KW - Verifikation
KW - Softwaretest
KW - Modellgetriebene Entwicklung
KW - Fehlertoleranz
PY - 2012
N2 - Literaturangaben
BT - Lecture Notes in Computer Science ; 7498
BT - SpringerLink ; Bücher
CY - Berlin, Heidelberg
ER -
Download citation