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