Italiano (Italian) English (Inglese)
giovedì, 22 febbraio 2024

Pubblicazioni

Indietro
Dettagli Pubblicazione
Autori:Mario Coppo
Ferruccio Damiani
Paola Giannini
Titolo:Refinement Types for Program Analysis
Apparso su:SAS'96
Pagine:143-158
Editore:Springer
Anno:1996
Tipo Pubblicazione:Paper on Proceedings International Conference
URL:http://www.di.unito.it/~damiani/papers/sas96.html