Modelling and Verification of an Application for Managing Sensitive Health Data. - Almo Cuci; Umar Ozeer; Gwen Salaün (DataMod, 2023)