Standard Type Soundness for Agents and Artifacts

   page       BibTeX_logo.png   
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
Scientific Annals of Computer Science 22(2), pp. 267326
2012