Skip to Content

Standard Type Soundness for Agents and Artifacts

   Info_icon.svg       BibTeX_logo.svg   
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
Scientific Annals of Computer Science 22(2), pages 267–326
2012
journal or series
Journal_icon.svg Scientific Annals of Computer Science (SACS)

Standard Type Soundness for Agents and Artifacts
— status
published
— sort
article in journal
who
— authors
Ferruccio Damiani  •  Paola Giannini  •  Alessandro Ricci  •  Mirko Viroli
where & when
— publication date
2012
— journal
Scientific Annals of Computer Science
— volume no.
22
— issue
2
— pages
267–326
— number of pages
60
— publisher
``A.I. Cuza'' University Press, Iacsi, Romania
— DOI
10.7561/SACS.2012.2.267
APICe
— journal or series
Scientific Annals of Computer Science