Results
Formal Methods: Foundations and Applications
20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings
© 2017
Soft cover - Print (ISBN: 978-3-319-70847-8)
Electronic (ISBN: 978-3-319-70848-5)
View this book on
SpringerLink
Download Product Archive File - 978-3-319-70848-5