Aktiviteter pr. år
Aktiviteter
- 2 Foredrag og mundtlige bidrag
-
Abstract interpretation of temporal logic: abstract model checking revisited
John Patrick Gallagher (Foredragsholder)
19 aug. 2010Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Fil -
Invited Talk: Descriptive Types and Well-Typings, with an Aside on Model Checking
John Patrick Gallagher (Foredragsholder)
7 jul. 2010Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag