William Delobel

Publication Activity (10 Years)

Years Active: 2004-2006
Publications (10 Years): 0

Publications

Solange Coupet-Grimal, William Delobel
An effective proof of the well-foundedness of the multiset path ordering. Appl. Algebra Eng. Commun. Comput. 17 (6) (2006)
Solange Coupet-Grimal, William Delobel
A Uniform and Certified Approach for Two Static Analyses. TYPES (2004)