Pubblicazioni
| Autori: | Davide Ancona |
| Christopher Anderson | |
| Ferruccio Damiani | |
| Sophia Drossopoulou | |
| Paola Giannini | |
| Elena Zucca | |
| Titolo: | A provenly correct translation of Fickle into Java |
| Apparso su: | ACM Transactions On Programming Languages and Systems 29 2 |
| Pagine: | Art. n.13 (67 pages) |
| Editore: | ACM |
| Anno: | 2007 |
| Tipo Pubblicazione: | Paper on International Journal |
| URL: | http://www.di.unito.it/...damiani/papers/toplas3.html |