- 1
Martin Quinson
1
Documents
Présentation
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Sthread: In-Vivo Model Checking of Multithreaded ProgramsThe Art, Science, and Engineering of Programming, inPress, ⟨10.22152/programming-journal.org/2020/4/13⟩
Article dans une revue
hal-02449080v1
|