MPI-INF Logo
Campus Event Calendar

Event Entry

What and Who

Formal Verification of a Fully IEEE Compliant Floating Point Unit

Christian Jacobi
Fachrichtung Informatik - Saarbrücken
Promotionskolloquium
AG 1, AG 2, AG 3, AG 4  
Expert Audience

Date, Time and Location

Friday, 25 October 2002
14:00
-- Not specified --
45 - FR 6.2
HS III
Saarbrücken

Contact

--email hidden
passcode not visible
logged in users only