Abstract interpretation of temporal logic: abstract model checking revisited

Gallagher, J. P. (Foredragsholder)

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Beskrivelse

Conference presentation
Periode19 aug. 2010
BegivenhedstitelDanish Static Analysis Symposium (DANSAS'10)
BegivenhedstypeSymposium
PlaceringOdense, Danmark