Xavier Leroy
Collège de France
Science du logiciel
Année 2019-2020
Sémantiques mécanisées : quand la machine raisonne sur ses langages
Sciences du logiciel - Xavier Leroy Sciences du logiciel - Xavier Leroy Sciences du logiciel - Xavier Leroy