Results

Book cover

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 Download product archive files for 978-3-319-70848-5