Author: Paolo Arcaini

Refereed Journal Papers and Articles

2020
[2]	Atif Mashkoor, Paolo Arcaini and Angelo Gargantini: Intelligent Autonomous Systems, in Computer, volume 53, 2020. [pdf] [doi]
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. [pdf] [doi]