Facets of Software Doping

TitleFacets of Software Doping
Publication TypeBook Chapter
Year of Publication2016
AuthorsBarthe, G, D'Argenio, PR, Finkbeiner, B, Hermanns, H
EditorMargaria, T, Steffen, B
Book TitleLeveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, (ISoLA 2016), Part II
Series TitleLecture Notes in Computer Science
Volume9953
Pagination601-607
PublisherSpringer
ISBN Number978-3-319-47168-6
AbstractThis paper provides an informal discussion of the formal aspects of software doping.
URLhttp://dx.doi.org/10.1007/978-3-319-47169-3_46
DOI10.1007/978-3-319-47169-3_46
PDF (Full text):