Invited Talk: Descriptive Types and Well-Typings, with an Aside on Model Checking

Activity: Talk or presentationLecture and oral contribution

Description

Invited lecture.
Period7 Jul 2010
Event titleSymposium on the Occasion of Professor Maurice Bruynooghe's 60th Birthday
Event typeSymposium
OrganiserKU Leuven
LocationLeuven, BelgiumShow on map