Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings (Lecture Notes in Computer Science, Band 8195)

Proceedings

von: Juliano Iyoda · Leonardo de Moura

Taschenbuch

ISBN: 978-3-642-41070-3

ISBN-10: 3-642-41070-7

Springer · 2013