Publication [BartheDAFH16] Facets of Software Doping Barthe, G.; D'Argenio, P.; Finkbeiner, B. and Hermanns, H. In ISoLA, pages 601-608, LNCS 9953, 2016.Downloads: bib
