selected publications
-
chapter
- Proving Local Invariants in ASTDs. Lecture notes in computer science. 228-246. 2023
Close
Cartellier, Quelen
Publications
Contact
full name
- Quelen Cartellier
Publications in VIVO
Co-author Network