PhD thesis defense - Computer Science and Systems Engineering

Stella Simic - Bit-precise Verification of Numerical Properties in Fixed-point Programs

Join at http://meet.google.com/aht-yikt-cpd