MedicationChecker: Development of a Formally Verified Android Application with EventB2SQL
-
Published:2016-08
Issue:
Volume:
Page:
-
ISSN:
-
Container-title:2016 IEEE International Conference on Software Quality, Reliability and Security (QRS)
-
language:
-
Short-container-title: