Login / Signup
Jean-Francois Bergeretti
Publication Activity (10 Years)
Years Active: 1985-1985
Publications (10 Years): 0
</>
Publications
</>
Jean-Francois Bergeretti
,
Bernard Carré
Information-Flow and Data-Flow Analysis of while-Programs.
ACM Trans. Program. Lang. Syst.
7 (1) (1985)