Abstract interpretation of temporal logic: abstract model checking revisited

Activity: Talk or presentation › Lecture and oral contribution

Description

Conference presentation

Period	19 Aug 2010
Event title	Danish Static Analysis Symposium (DANSAS'10)
Event type	Symposium
Organiser	University of Southern Denmark
Location	Odense, DenmarkShow on map