E-mail senden
E-Mail Adresse kopieren
2017
Is your software on dope? Formal analysis of surreptitiously "enhanced" programs
Veröffentlichungsdatum
2017
Letztes Änderungsdatum
2018-02-23 12:31:44
Autor:innen
-
Pedro R. D'Argenio
-
Gilles Barthe
-
Sebastian Biewer
-
Bernd Finkbeiner
-
Holger Hermanns