Andy Neilson

Publication Activity (10 Years)

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

Publications

Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Andy Neilson, Bill Pase, Mark Saaltink
m-EVES: A Tool for Verifying Software. ICSE (1988)