Accéder directement au contenu

Sylvie Boldo

2
Documents
Identifiants chercheurs

Présentation

Auto-magically brought to you by HAL.
Auto-magically brought to you by HAL.

Publications

claude-marche
Image document

Formal proofs of numerical programs

Nguyen Thi Minh Tuyen , Sylvie Boldo , Claude Marché
Forum Digitéo, Oct 2010, Palaiseau, France
Poster de conférence inria-00536135v1