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 number
01541040232
Italian Fiscal Code
93009870234
© 2022 | Verona University | Credits