journal : Scientific Annals of Computer Science

1 article / Alessandro Ricci

Standard Type Soundness for Agents and Artifacts (article in journal, 2012) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli

[ journal cloud / Alessandro Ricci / publications ]