m-EVES: A Tool for Verifying Software.

Fri, 01 Jan 1988 00:00:00 +0100

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