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
- 2
- 2
- 1
- 1
- 1
- 1
Philosophers may Dine - Definitively!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
|
|
|
Towards a formal semantics of the TESL specification language3rd 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
|