@book{ Solr-300228, title = {Formal Methods: Foundations and Applications [E-Book]: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings}, series = {Lecture notes in computer science ;}, author = {Gheyi, Rohit.}, editor = {Gheyi, Rohit.}, editor = {Naumann, David.}, address = {Berlin, Heidelberg}, publisher = {Springer Berlin Heidelberg :}, year = {2012}, note = {englisch}, url = {http://dx.doi.org/10.1007/978-3-642-33296-8} }