| |
| 2006 | ||
|---|---|---|
| 2 | EE | Solange Coupet-Grimal, William Delobel: An effective proof of the well-foundedness of the multiset path ordering. Appl. Algebra Eng. Commun. Comput. 17(6): 453-469 (2006) |
| 2004 | ||
| 1 | EE | Solange Coupet-Grimal, William Delobel: A Uniform and Certified Approach for Two Static Analyses. TYPES 2004: 115-137 |
| 1 | Solange Coupet-Grimal | [1] [2] |