Formalisation mathématique, certification logicielle, même combat!

• Autores: Pierre-Louis Curien
• Localización: Gazette des Mathematiciens, ISSN 0224-8999, Nº. 142, 2014, págs. 83-86
• Idioma: francés
• Texto completo no disponible (Saber más ...)