| [3] | Design and validation of a C++ code generator from Abstract State Machines specifications (Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor), In J. Softw. Evol. Process., volume 32, 2020.
[bib] [pdf] [doi] |
| [2] | A systematic literature review of the use of formal methods in medical software systems (Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor), In Journal of Software: Evolution and Process, volume 30, 2018.
[bib] [pdf] [doi] |
| [1] | Integrating formal methods into medical software development: The ASM approach (Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene), In Sci. Comput. Program., volume 158, 2018.
[bib] [pdf] [doi] |