François Masdupuy

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1993

2 François Masdupuy: Semantic Analysis of Interval Congruences. Formal Methods in Programming and Their Applications 1993: 142-155

1992

1 François Masdupuy: Array abstractions using semantic analysis of trapezoid congruences. ICS 1992: 226-235

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