Dietmar Berwanger
Researcher, CNRS
Mail: dwb@lmf.cnrs.fr
Phone: +33 (0)1 81 87 54 42
Office: 2S59, Bâtiment ENS - Nord
Laboratoire Méthodes Formelles (LMF)
Université Paris-Saclay, CNRS, ENS Paris-Saclay
4 avenue des Sciences • 91190 Gif-sur-Yvette, France