MPI-INF Logo
Campus Event Calendar

Event Entry

New for: D3

What and Who

An Overview over Assume/Guarantee-Reasoning

Patrick Maier
Max-Planck-Institut für Informatik
AG2 Working Group Seminar
AG 1, AG 2, AG 3, AG 4  
AG Audience
-- Not specified --

Date, Time and Location

Thursday, 9 December 99
16:15
-- Not specified --
46.1
024
Saarbrücken

Contact

Uwe Waldmann
(0681) 9325-227
--email hidden
passcode not visible
logged in users only