Standard Type Soundness for Agents and Artifacts

Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli

Scientific Annals of Computer Science 22(2), pages 267–326

2012

journal or series

Scientific Annals of Computer Science (SACS)

search • all

— 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.

— issue

— pages

267–326

— number of pages

— publisher

``A.I. Cuza'' University Press, Iacsi, Romania

— DOI

APICe

— journal or series