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ˆ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]
@inproceedings{PettorossiPS08,
title = {Program Transformation for Development, Verification, and Synthesis of Software},
author = {Alberto Pettorossi and Maurizio Proietti and Valerio Senni},
year = {2008},
url = {http://ceur-ws.org/Vol-487/paper2.pdf},
researchr = {https://researchr.org/publication/PettorossiPS08},
cites = {0},
citedby = {0},
booktitle = {Il Milione (i.e. 2ˆ6), Proceedings of the Day Dedicated to Prof. Alberto Martelli, Turin, Italy, June 3, 2008},
editor = {Matteo Baldoni and Cristina Baroglio},
volume = {487},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}