m

F Nous contacter


0
     
Multi angle

H 1 Formal verification of numerical analysis programs

Auteurs : Boldo, Sylvie (Auteur de la Conférence)
CIRM (Editeur )

Z