Carole M. McNamme

Publication Activity (10 Years)

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

Publications

Cui Zhang, Carole M. McNamme
Towards an Evolutionary Verification Methodology: Experiences with a Distributed Programming Language Implementation. PDPTA (1997)