F Nous contacter


0

Multi angle Formal verification of numerical analysis programs

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

Z