Ronan Caugne

Publication Activity (10 Years)

Years Active: 1996-1996
Publications (10 Years): 0

Publications

Pascal Fradet, Ronan Caugne, Daniel Le Métayer
Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm. ESOP (1996)