Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings (Lecture Notes in Computer Science, Band 10090)

Foundations

von: Leila Ribeiro · Thierry Lecomte

Taschenbuch

EAN=ISBN-13: 978-3-319-49814-0

ISBN-10: 3-319-49814-2

Springer · 2016