Claude Marché
2
Documents
Affiliations actuelles
Publications
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
|
Analysing installation scenarios of Debian packagesTACAS 2020 - 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2020, The conference took place on-line, because it couldn't be held in Dublin, Ireland. pp.235-253, ⟨10.1007/978-3-030-45237-7_14⟩
Communication dans un congrès
hal-02355602v2
|
|
Revision 2 of CoLiS language: formal syntax, semantics, concrete and symbolic interpreters[Technical Report] ANR. 2019
Rapport
hal-02321743v1
|