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

Gallagher, J. P. (Foredragsholder)

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Beskrivelse

Invited lecture.
Periode7 jul. 2010
BegivenhedstitelSymposium on the Occasion of Professor Maurice Bruynooghe's 60th Birthday
BegivenhedstypeSymposium
PlaceringLeuven, Belgien