TitleSafe Artificial Intelligence and Formal Methods
Publication TypeBook Chapter
Year of Publication2016
AuthorsVassev E
EditorMargaria T, Steffen B
Book TitleLeveraging 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 Published2016
PublisherSpringer International Publishing
CityCham
Publication Languageeng
ISBN Number978-3-319-47166-2
URLhttp://dx.doi.org/10.1007/978-3-319-47166-2_49