Skip to main navigation
Skip to search
Skip to main content
Roskilde University Research Portal Home
Dansk
English
Home
Profiles
Research units
Research output
Projects
Activities
Press/Media
Datasets
Prizes
Search by expertise, name or affiliation
Invited Talk: Descriptive Types and Well-Typings, with an Aside on Model Checking
Gallagher, J. P.
(Lecturer)
Programming, Logic and Intelligent Systems
Activity
:
Talk or presentation
›
Lecture and oral contribution
Description
Invited lecture.
Period
7 Jul 2010
Event title
Symposium on the Occasion of Professor Maurice Bruynooghe's 60th Birthday
Event type
Symposium
Organiser
KU Leuven
Location
Leuven, Belgium
Show on map
Related content
Projects
SAFT: Static Analysis with Finite Tree Automata
Project
:
Research
X