Robustness analysis of finite precision implementations 1cm Eric

“como aprendi, ensinei”: modos de ser e constituir-se

PROBIC/UNIT- № 02/2011. Área do conhecimento: (tabela do CNPq) 7.00.00.00-0, subária do conhecimento: 7.08.00.00-6 e especialidade: 7.08.01.02-9.

Curriculum Vitae Antoine Girard

DynIBEX: une boîte à outils pour la vérification des

Constraints in analysis of synchronous programs - INRIA/pop-art