Program Transformation for Development, Verification, and Synthesis of Software - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Alberto Pettorossi, Maurizio Proietti, Valerio Senni. Program Transformation for Development, Verification, and Synthesis of Software. In Matteo Baldoni, Cristina Baroglio, editors, Il Milione (i.e. 2&circ;6), Proceedings of the Day Dedicated to Prof. Alberto Martelli, Turin, Italy, June 3, 2008. Volume 487 of CEUR Workshop Proceedings, CEUR-WS.org, 2008. [doi]

The following publications are possibly variants of this publication:

Program transformation for development, verification, and synthesis of programsFabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni. ia, 5(1):119-125, 2011. [doi]

runs on WebDSL