Towards Formal Semantics and Proven Compliance of Business Workflows Processing Personal Data

Présentation établissement et labo d’accueil. Towards Formal Semantics and Proven Compliance of Business Workflows Processing Personal Data.