Files
Details
Title
On the Design and Implementation of SmartFloat and AffineFloat
Author(s)
Darulova, Eva ; Kuncak, Viktor
Pagination
18
Date
2011
Laboratories
LARA
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IINFCOM > LARA - Laboratory for Automated Reasoning and Analysis
Work produced at EPFL
Technical Reports
Published
Work produced at EPFL
Technical Reports
Published
Record creation date
2011-04-11