ISoLA 2024

International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece

Talk

A discussion on the possible formal methods needed for the primary and secondary use of personal health records owned by individuals

Time: Friday, 1.11

Room: Room 3

Authors: Gunnar Piho

Abstract: