Skip to contents Simao, Adenilso [Editor]; Morgan, Carroll [Other] ; SBMF 14 2011 São Paulo Formal methods: foundations and applications : 14th Brazilian symposium, SBMF 2011, Sao Paulo, September 26-30 2011 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 7021 Gheyi, Rohit [Author] ; Naumann, David [Other] Formal Methods: Foundations and Applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer, 2012 Published in: Lecture notes in computer science ; 7498 Ribeiro, Leila [Editor]; Lecomte, Thierry [Editor] Formal Methods: Foundations and Applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer, 2016 Published in: Lecture notes in computer science ; 10090 Simão, Adenilso [Author] ; Morgan, Carroll [Other] Formal Methods, Foundations and Applications : 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011 Published in: Lecture notes in computer science ; 7021
Simao, Adenilso [Editor]; Morgan, Carroll [Other] ; SBMF 14 2011 São Paulo Formal methods: foundations and applications : 14th Brazilian symposium, SBMF 2011, Sao Paulo, September 26-30 2011 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 7021
Gheyi, Rohit [Author] ; Naumann, David [Other] Formal Methods: Foundations and Applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer, 2012 Published in: Lecture notes in computer science ; 7498
Ribeiro, Leila [Editor]; Lecomte, Thierry [Editor] Formal Methods: Foundations and Applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer, 2016 Published in: Lecture notes in computer science ; 10090
Simão, Adenilso [Author] ; Morgan, Carroll [Other] Formal Methods, Foundations and Applications : 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011 Published in: Lecture notes in computer science ; 7021
> Location Skip to next facet Departmental Library DrePunct (1) Wert ausschließen Show more show less
> Creator Skip to next facet Morgan, Carroll (2) Wert ausschließen Gheyi, Rohit (1) Wert ausschließen Lecomte, Thierry (1) Wert ausschließen Naumann, David (1) Wert ausschließen Ribeiro, Leila (1) Wert ausschließen SBMF 14 2011 São Paulo (1) Wert ausschließen Simao, Adenilso (1) Wert ausschließen Simão, Adenilso (1) Wert ausschließen Show more show less