Under CopyrightDupressoir, FrançoisFrançoisDupressoirGordon, Andrew D.Andrew D.GordonJürjens, JanJanJürjens2022-03-1118.10.20132010https://publica.fraunhofer.de/handle/publica/37066310.24406/publica-fhg-370663en004Verifying authentication properties of C protocol code using VCCpresentation