Campus Event Calendar
Event Entry
What and Who
Towards Verification and Debugging of Concurrent Constraint Programs through Abstract Interpretation with Set Constraints
Andreas Podelski
MPII
AG2 Seminar
AG 1, AG 2, AG 3, INET, AG 4, AG 5, D6, RG1, SWS
AG Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Wednesday, 18 September 96
10:45
60 Minutes
46.1 - MPII
023
Saarbrücken
Contact
--email hidden
passcode not visible
logged in users only