- 1
Martin Quinson
1
Documents
Présentation
Publications
- 1
- 1
- 1
|
System-level state equality detection for the formal dynamic verification of legacy distributed applicationsJournal of Logical and Algebraic Methods in Programming, 2018, 96, pp.1 - 11. ⟨10.1016/j.jlamp.2017.12.004⟩
Article dans une revue
hal-01900120v1
|