- 1
Jean-Claude Royer
1
Documents
Publications
- 1
- 1
- 1
- 1
- 1
|
Efficiently Characterizing the Undefined Requests of a Rule-Based SystemIFM 2018 - 14th International Conference on integrated Formal Methods, Sep 2018, Maynooth, Ireland. pp.69-88, ⟨10.1007/978-3-319-98938-9_5⟩
Communication dans un congrès
hal-01828305v1
|