CodeTrust - Trusting Software Systems. - Christian Damsgaard Jensen; Michael Bøndergaard Nielsen (IFIPTM, 2018)