GitHub repository: silentmind/outils-formels-modelisation
Primary language: TeX
Description: Cours de Bachelor : Outils Formels de Modélisation