Victor Milenkovic

Thesis Title: Verifiable Implementations of Finite Precision Arithmetic
Degree Type: Ph.D. in Computer Science
Advisor(s): Takeo Kanade
Graduated: August 1988