Facets of Software Doping
Title | Facets of Software Doping |
Publication Type | Book Chapter |
Year of Publication | 2016 |
Authors | Barthe, G, D'Argenio, PR, Finkbeiner, B, Hermanns, H |
Editor | Margaria, T, Steffen, B |
Book Title | Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, (ISoLA 2016), Part II |
Series Title | Lecture Notes in Computer Science |
Volume | 9953 |
Pagination | 601–608 |
Publisher | Springer |
ISBN Number | 978-3-319-47168-6 |
Abstract | This paper provides an informal discussion of the formal aspects of software doping. |
URL | http://dx.doi.org/10.1007/978-3-319-47169-3_46 |
DOI | 10.1007/978-3-319-47169-3_46 |
PDF (Full text):