![](/img/cover-not-exists.png)
Integrating Formal Methods into Medical Software Development: The ASM approach
Arcaini, Paolo, Bonfanti, Silvia, Gargantini, Angelo, Mashkoor, Atif, Riccobene, ElviniaLanguage:
english
Journal:
Science of Computer Programming
DOI:
10.1016/j.scico.2017.07.003
Date:
July, 2017
File:
PDF, 899 KB
english, 2017