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

Gallagher, J. P. (Lecturer)

Activity: Talk or presentationLecture and oral contribution

Description

Invited lecture.
Period7 Jul 2010
Event typeSymposium
LocationLeuven, Belgium