Standard Type Soundness for Agents and Artifacts

Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli

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

Tags:

Pubblicazioni

Home
Ricerca
Tutte

Pubblicazioni / Viste

Home

Nuvole
•  tag  •  autori  •  curatori  •  riviste  

Anno
•  2023  •  2022  •  2021  •  2020  •  2019  •  2018  •  2017  •  2016  •  2015  •  2014–1927

Tipo
•  su rivista  •  in atti  •  capitoli  •  libri  •  curatele  •  speciali  •  editoriali  •  voci  •  manuali  •  rapporti  •  tesi phd  •  altre  

Stato
•  online  •  in stampa  •  bozza stampa  •  camera-ready  •  revisionato  •  accettato  •  in revisione  •  sottoposto  •  bozza  •  nota  

Servizi
•  ACM Digital Library  •  DBLP  •  IEEE Xplore  •  IRIS  •  PubMed  •  Google Scholar  •  Scopus  •  Semantic Scholar  •  Web of Science  •  DOI  

Pubblicazione

— autori/autrici

Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli

— stato

pubblicato

— tipo

articolo su rivista

— data di pubblicazione

2012

— rivista

Scientific Annals of Computer Science

— volume

22

— numero

2

— pagine

267326

identificatori

— DOI

10.7561/SACS.2012.2.267

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