Florent Jacquemard
1
Documents
Publications
- 1
- 1
- 1
|
|
Rewrite-Based Verification of XML Updates12th international ACM SIGPLAN symposium on Principles and practice of declarative programming (PPDP), Jul 2010, Hagenberg, Austria. ⟨10.1145/1836089.1836105⟩
Communication dans un congrès
inria-00578916v1
|