LOMar 27, 2018
Facets of Software DopingGilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner et al.
This paper provides an informal discussion of the formal aspects of software doping.
Pedro R. D'Argenio
1paper
Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner et al.
This paper provides an informal discussion of the formal aspects of software doping.