Facets of Software Doping
Logic in Computer Science
2018-03-28 v1 Software Engineering
Abstract
This paper provides an informal discussion of the formal aspects of software doping.
Cite
@article{arxiv.1803.10154,
title = {Facets of Software Doping},
author = {Gilles Barthe and Pedro R. D'Argenio and Bernd Finkbeiner and Holger Hermanns},
journal= {arXiv preprint arXiv:1803.10154},
year = {2018}
}
Comments
arXiv admin note: substantial text overlap with arXiv:1702.04693