Nicolas Magnier

Publication Activity (10 Years)

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

Publications

David James Sherman, Nicolas Magnier
Factotum: Automatic and Systematic Sharing Support for Systems Analyzers. TACAS (1998)