m-EVES: A Tool for Verifying Software

@inproceedings{Craigen-al:ICSE88,
  author    = {Dan Craigen and
               Sentot Kromodimoeljo and
               Irwin Meisels and
               Andy Neilson and
               Bill Pase and
               Mark Saaltink},
  title     = {{m-EVES:} A Tool for Verifying Software},
  booktitle = {ICSE},
  pages     = {324--333},
  publisher = {{IEEE} Computer Society},
  year      = {1988},
}