![]() | ![]() |
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 |