All forthcoming seminars - Programming Languages and Special Techniques - (2005/2006)

Date Seminar Seminar series
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)
Tot 1 Seminars

Studying