Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings (Lecture Notes in Computer Science, Band 8941)

Foundations

von: Christiano Braga · Narciso Martí-Oliet

Taschenbuch

ISBN: 978-3-319-15074-1

ISBN-10: 3-319-15074-X

Springer · 2015