| |
| 2003 | ||
|---|---|---|
| 2 | EE | Nicolas Halbwachs, David Merchat, Catherine Parent-Vigouroux: Cartesian Factoring of Polyhedra in Linear Relation Analysis. SAS 2003: 355-365 |
| 1997 | ||
| 1 | Catherine Parent-Vigouroux: Verifying Programs in the Calculus of Inductive Constructions. Formal Asp. Comput. 9(5-6): 484-517 (1997) | |
| 1 | Nicolas Halbwachs | [2] |
| 2 | David Merchat | [2] |