journal : Scientific Annals of Computer Science

1 article / Alessandro Ricci
page_white_acrobat Standard Type Soundness for Agents and Artifacts (2012) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
[ journal cloud / Alessandro Ricci / publications ]