Date | Seminar | Seminar series |
---|---|---|
2006-03-24 11:00 3/24/06 |
Formal derivation of program properties for object-based languages. A logical interpretation of Subtyping.
Timetable:
h 11:00
|
Speaker:
Ugo de' Liguoro
(Università di Torino)
|
Strada le Grazie 15
37134 Verona
VAT number01541040232
Italian Fiscal Code93009870234
© 2024 | Verona University
******** CSS e script comuni siti DOL - frase 9957 ********p>