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

Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

Beskrivelse

Invited lecture.
Periode7 jul. 2010
BegivenhedstitelSymposium on the Occasion of Professor Maurice Bruynooghe's 60th Birthday
BegivenhedstypeSymposium
ArrangørKU Leuven
PlaceringLeuven, BelgienVis på kort

Relateret indhold