Stefan
Schwoon
Maître de conférence, ENS Paris-Saclay
Quelques publications
Enseignement
2024/2025:
Projet Programmation 2
2024/2025:
Concepts et Model-Checking
(ENSIIE)
2024/2025:
Mise à niveau
2024/2025:
Cours Architecture et Systèmes
2024/2025:
Cours Initiation à la vérification
2023/2024:
Cours Automates d'arbres et applications
2023/2024:
Cours de Langages formels
Outils
Mole
Moped
WPDS
Model-Checking Kit
(ne plus actualisé)
À propos du
LSV
Actualités
Membres
Recherche
Séminaires
Enseignement
Contact
Pages privées
English
Français
Contact
Adresse
LMF
,
CNRS
&
ENS
Paris-Saclay
4 avenue des Sciences
91190 Gif-sur-Yvette, France
Bureau
2U56
Tél.
+33 (0)1 81 87 54 30
E-Mail
schwoon໑lmf.cnrs.fr