Safe Artificial Intelligence and Formal Methods
You are here
| Title | Safe Artificial Intelligence and Formal Methods |
| Publication Type | Book Chapter |
| Year of Publication | 2016 |
| Authors | Vassev E |
| Editor | Margaria T, Steffen B |
| Book Title | Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part ILeveraging Applications of Formal Methods, Verific |
| Date Published | 2016 |
| Publisher | Springer International Publishing |
| City | Cham |
| Publication Language | eng |
| ISBN Number | 978-3-319-47166-2 |
| URL | http://dx.doi.org/10.1007/978-3-319-47166-2_49 |
