C. Meudec

Publication Activity (10 Years)

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

Publications

J. Doyle, C. Meudec
IBIS: an Interactive Bytecode Inspection System, using symbolic execution and constraint logic programming. PPPJ (2003)