author = { Gheyi, Rohit Naumann, David },

title = { Formal Methods: Foundations and Applications 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings },

publisher = {Springer},

isbn = {9783642332968},

keywords = { Logic design , Information Systems , Computer Science , Formal methods (Computer science) Congresses , Computer science , Software engineering , Machine theory. , Compilers (Computer programs). , Electronic data processing , Konferenzschrift 2012 Natal, Rio Grande do Norte , Konferenzschrift , Formale Methode , Verifikation , Softwaretest , Modellgetriebene Entwicklung , Fehlertoleranz },

year = {2012},

abstract = {Literaturangaben},

booktitle = {Lecture Notes in Computer Science ; 7498},

booktitle = {SpringerLink ; Bücher},

address = { Berlin, Heidelberg },