Login / Signup
François Masdupuy
Publication Activity (10 Years)
Years Active: 1992-1993
Publications (10 Years): 0
</>
Publications
</>
François Masdupuy
Semantic Analysis of Interval Congruences.
Formal Methods in Programming and Their Applications
(1993)
François Masdupuy
Array abstractions using semantic analysis of trapezoid congruences.
ICS
(1992)