8481 articles  [version française]
.:. Browse > By authors > Ayad .:.
1 document
fulltext access On formal methods for certifying floating-point C programs
Ayad A.
N° RR-6927 (2009) [inria-00383793 - version 1]