Vol-2977⫷ Vol-2978 ⫸Vol-2979
urn:nbn:de:0074-2978-0


Vol-2978/mde4sa-preface⫷Vol-2978/mde4sa-paper1⫸Vol-2978/mde4sa-paper2
Johannes GeismannBastian HaverkampEric Bodden

Ensuring threat-model assumptions by using static code analyses