Results
Formal Methods: Foundations and Applications
18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
© 2016
Soft cover - Print (ISBN: 978-3-319-29472-8)
Electronic (ISBN: 978-3-319-29473-5)
View this book on
SpringerLink
Download Product Archive File - 978-3-319-29473-5