Rémy Garcia
Doctorant – I3S, Université de Nice Sophia Antipolis
Thèmes :
PPC – Contraintes et SAT
Mots-clés :
- PPC
- Floating-point arithmetic
- Round-off errors
- Verification
Doctorant – I3S, Université de Nice Sophia Antipolis
PPC – Contraintes et SAT