En relation avec le sujet du cours

Vérification formelle en Coq de la chaîne des sémantiques pour la compilation d'Esterel

  • en savoir plus