Accéder directement au contenu

Burkhart Wolff

2
Documents

Présentation

[https://www.lri.fr/~wolff/](https://www.lri.fr/~wolff/ "Home Page at UPSud / LRI")
[https://www.lri.fr/~wolff/](https://www.lri.fr/~wolff/ "Home Page at UPSud / LRI")

Publications

lina-ye
Image document

Towards a formal semantics of the TESL specification language

Hai Nguyen Van , Thibaut Balabonski , Frédéric Boulanger , Safouan Taha , Benoît Valiron
3rd International Workshop on the Globalization Of Modeling Languages (GEMOC 2015), Benoit Combemale; Julien Deantoni; Jeff Gray, Sep 2015, Ottawa, Canada. pp.14-19
Communication dans un congrès hal-01239669v1

Philosophers may Dine - Definitively!

Safouan Taha , Burkhart Wolff , Lina Ye
16th International Conference on Integrated Formal Methods, 2020, ⟨10.1007/978-3-030-63461-2_23⟩
Chapitre d'ouvrage hal-03134972v1