Italiano (Italian) English (Inglese)
Saturday, 21 May 2022

Publications

Back
Pubblication Details
Authors:Mario Coppo
Ferruccio Damiani
Paola Giannini
Title:Refinement Types for Program Analysis
Published on:SAS'96
Pages:143-158
Publisher:Springer
Year:1996
Tipo Pubblicazione:Paper on Proceedings International Conference
URL:http://www.di.unito.it/~damiani/papers/sas96.html