Results
Formal Methods: Foundations and Applications
17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
© 2015
Soft cover - Print (ISBN: 978-3-319-15074-1)
Electronic (ISBN: 978-3-319-15075-8)
View this book on
SpringerLink
Download Product Archive File - 978-3-319-15075-8