Number of items: 3.
D'Argenio, Pedro R. and Barthe, Gilles and Biewer, Sebastian and Finkbeiner, Bernd and Hermanns, Holger
(2017)
Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs.
D'Argenio, Pedro R. and Barthe, Gilles and Biewer, Sebastian and Finkbeiner, Bernd and Hermanns, Holger
(2017)
Is your software on dope? Formal analysis of surreptitiously "enhanced" programs.
CoRR, abs/17.
Barthe, Gilles and D'Argenio, Pedro R. and Finkbeiner, Bernd and Hermanns, Holger
(2016)
Facets of Software Doping.
This list was generated on Thu Apr 25 13:50:07 2024 CEST.