Campus Event Calendar
Event Entry
What and Who
Formalisierung einer C-Semantik in PVS and Softwareverifikation mit Hilfe von PVS
Dirk Leinenbach
Ringvorlesung im Rahmen des Graduiertenkollegs
AG 1, AG 2, AG 3, AG 4
Expert Audience
Note: We use this to send email in the morning.
Date, Time and Location
Monday, 20 January 2003
16:00
-- Not specified --
45 - FR 6.2
HS III
Saarbrücken
Contact
--email hidden
passcode not visible
logged in users only