École Nationale Supérieure de
Techniques Avancées
- Parcourir par Auteur
Nombre de documents archivés : 1.
Makni, Mme Amal (2024) La traduction des entiers naturels de HOL-Light à Coq. PRE - Projet de recherche, ENSTA.
