Craigen, Dan; Kromodimoeljo, Sentot; Meisels, Irwin; Neilson, Andy; Pase, Bill and Saaltink, Mark "m-EVES: A Tool for Verifying Software"

Languages mentioned

• m-Verdi {1988}