M2 Master Parisien de Recherche en Informatique (Mpri)
… logique, la démonstration interactive et la démonstration automatique, (7) la sémantique des langages de programmation … University Paris Saclay https://www.universite-paris-saclay.fr/ ENS Paris-Saclay … logique, démonstration interactive et démonstration automatique, la sémantique des langages de programmation, …Article publié le: