F Nous contacter


0

Multi angle Proof and computation in Coq

Auteurs : Théry, Laurent (Auteur de la Conférence)
CIRM (Editeur )

Z