Standard Type Soundness for Agents and Artifacts


pagemagnifierBibTeX_logo.pngmagnifierpage_white_acrobatmagnifier

Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli

Scientific Annals of Computer Science 22(2), pages 267326
2012

Tags:

Publication

— authors

Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli

— status

published

— sort

article in journal

— publication date

2012

— journal

Scientific Annals of Computer Science

— volume

22

— issue

2

— pages

267326

identifiers

— DOI

10.7561/SACS.2012.2.267

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY