Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings (Lecture Notes in Computer Science, Band 11254)

Foundations

von: Tiago Massoni · Mohammad Reza Mousavi

Taschenbuch

ISBN-13: 978-3-030-03043-8

ISBN-10: 3-030-03043-1

Springer · 2018