author = { Davies, Jim Silva, Leila AND Simão, Adenilso },

title = { Formal Methods: Foundations and Applications 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers },

publisher = {Springer Berlin Heidelberg},

isbn = {9783642198298},

keywords = { Logic design , Information Systems , Computer Science , Computer science , Software engineering , Compilers (Computer programs). , Computer programming. , Machine theory. , Electronic data processing , Paperback / softback , Research , model checking , model transformation , program verification , runtime verification , systems modeling , Konferenzschrift 2010 Natal, Rio Grande do Norte , Formale Methode , Verifikation , Softwaretest , Laufzeit , Modelltransformation , Spezifikationstechnik , B-Methode },

year = {2011},

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

booktitle = {SpringerLink ; Bücher},

address = { Berlin, Heidelberg },

url = { http://slubdd.de/katalog?TN_libero_mab2 }