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)
von:
Juliano Iyoda ·
Leonardo de Moura
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-642-41070-3
ISBN-10: 3-642-41070-7
Springer
· 2013
