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

safouan-taha
"lina-ye"

Philosophers may Dine - Definitively!

Safouan Taha , Burkhart Wolff , Lina Ye
Integrated Formal Methods, Nov 2020, Lugano, Switzerland. pp.419-439, ⟨10.1007/978-3-030-63461-2_23⟩
Communication dans un congrès hal-03134972v1
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