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