Almo Cuci, Umar Ozeer, Gwen Salaün. Modelling and Verification of an Application for Managing Sensitive Health Data. In Giovanna Broccia, Antonio Cerone, editors, From Data to Models and Back - 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papers. Volume 14618 of Lecture Notes in Computer Science, pages 127-141, Springer, 2023. [doi]
Abstract is missing.