Campus Event Calendar
Event Entry
What and Who
Verification of Arithmetic Hardware Circuits with an Induction Theorem Prover
Deepak Kapur
University of Albany
DFKI-Kolloquium
AG 1, AG 2
AG Audience
Note: We use this to send email in the morning.
Date, Time and Location
Monday, 13 July 98
14:00
60 Minutes
43.1 - DFKI
Turing (1.01)
Saarbrücken
Contact
--email hidden
passcode not visible
logged in users only