Publisher
Springer Nature Switzerland
Reference33 articles.
1. Abrial, J.R.: The B-Book, Assigning Programs to Meaning. Cambridge University Press (1996)
2. Ahmadian, A.: Model-Based Privacy by Design. Phd thesis, Universität Koblenz-Landau (2020)
3. Barati, M., Rana, O., Petri, I., Theodorakopoulos, G.: GDPR compliance verification in internet of things. IEEE Access (2020)
4. Baudin, P., et al.: The dogged pursuit of bug-free c programs: the frama-c software analysis platform. Commun. ACM (2021)
5. Baudin, P., Filliâtre, J.C., Marché, C., Monate, B., Moy, Y., Prevosto, V.: ACSL: ANSI/ISO C Specification Language. Tech. rep.