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-607 |
| 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):
