Program Transformation for Development, Verification, and Synthesis of Programs

Academic Article

Publication Date:

2011

Iris type:

01.01 Articolo in rivista

List of contributors:

Pettorossi, Alberto; Senni, Valerio; Fioravanti, Fabio; Proietti, Maurizio

Authors of the University:

PROIETTI MAURIZIO

Handle:

https://iris.cnr.it/handle/20.500.14243/28397

Published in:

INTELLIGENZA ARTIFICIALE

Journal

INTELLIGENZA ARTIFICIALE

Series