Eva Darulova and Viktor Kuncak. On rigorous numerical computation as a scala library. Technical Report EPFL-REPORT-158754, EPFL, 2010.

bib ] Back