Publications of Paolo Arcaini
[rss]
2020
[2]
Intelligent Autonomous Systems
(Atif Mashkoor, Paolo Arcaini, Angelo Gargantini)
,
In Computer
, volume 53, 2020.
[bib]
[pdf]
[doi]
2018
[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]
Powered by
bibtexbrowser