28572 articles – 22064 Notices  [english version]
.:. Consultation > Par auteur > Ayad .:.
2 documents classés par :
fulltext access Multi-prover verification of floating-point programs
Ayad A., Marché C.
Dans Fifth International Joint Conference on Automated Reasoning 6173 (2010) [inria-00534333 - version 1]
fulltext access On formal methods for certifying floating-point C programs
Ayad A.
N° RR-6927 (2009) [inria-00383793 - version 1]