Abstract interpretation of temporal logic: abstract model checking revisited

Gallagher, J. P. (Lecturer)

Activity: Talk or presentationLecture and oral contribution

Description

Conference presentation
Period19 Aug 2010
Event typeSymposium
LocationOdense, Denmark