Brazilian Symposium on Formal Methods
16. SBMF 2013: Brasilia, Brazil
Juliano Iyoda, Leonardo Mendonça de Moura (Eds.): Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings. Springer 2013 Lecture Notes in Computer Science 8195 ISBN 978-3-642-41070-3 [ contents ]
15. SBMF 2012: Natal, Brazil
- Rohit Gheyi, David A. Naumann (Eds.): Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings. Springer 2012 Lecture Notes in Computer Science 7498 ISBN 978-3-642-33295-1 [ contents ]
14. SBMF 2011: São Paulo, Brazil
- Adenilso da Silva Simão, Carroll Morgan (Eds.): Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers. Springer 2011 Lecture Notes in Computer Science 7021 ISBN 978-3-642-25031-6 [ contents ]
13. SBMF 2010: Natal, Brazil
- Jim Davies, Leila Silva, Adenilso da Silva Simão (Eds.): Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers. Springer 2011 Lecture Notes in Computer Science 6527 ISBN 978-3-642-19828-1 [ contents ]
12. SBMF 2009: Gramado, Brazil
- Marcel Vinicius Medeiros Oliveira, Jim Woodcock (Eds.): Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers. Springer 2009 Lecture Notes in Computer Science 5902 ISBN 978-3-642-10451-0 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team