Catherine Nouvet

Publication Activity (10 Years)

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

Publications

Solange Coupet-Grimal, Catherine Nouvet
Formal Verification of an Incremental Garbage Collector. J. Log. Comput. 13 (6) (2003)