Formal methods: foundations and applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29 - October 1, 2014, Proceedings
| Other Authors: | , |
|---|---|
| Language: | English |
| Published: |
Cham:
Springer International Publishing,
2015.
|
| Subjects: |
| Physical Description: | ix, 179 pages.: ill.; 24 cm.. |
|---|---|
| Bibliography: | Bibliography |
| ISBN: | 9783319150741 |