Publications of Paolo Arcaini [rss]
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