Italiano (Italian) English (Inglese)
giovedì, 28 marzo 2024

Pubblicazioni

Indietro
Dettagli Pubblicazione
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