| |
| 1993 | ||
|---|---|---|
| 2 | François Masdupuy: Semantic Analysis of Interval Congruences. Formal Methods in Programming and Their Applications 1993: 142-155 | |
| 1992 | ||
| 1 | EE | François Masdupuy: Array abstractions using semantic analysis of trapezoid congruences. ICS 1992: 226-235 |