CraigenKMNPS88'

BibTeX

@inproceedings{DBLP:conf/icse/CraigenKMNPS88,
  author    = {Dan Craigen and
               Sentot Kromodimoeljo and
               Irwin Meisels and
               A. Neilson and
               Bill Pase and
               Mark Saaltink},
  title     = {m-EVES: A Tool for Verifying Software},
  booktitle = {ICSE},
  year      = {1988},
  pages     = {324-333},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}