@inproceedings{ICSE-1988-CraigenKMNPS,
	acmid         = "55855",
	author        = "Dan Craigen and Sentot Kromodimoeljo and Irwin Meisels and A. Neilson and Bill Pase and Mark Saaltink",
	booktitle     = "{Proceedings of the 10th International Conference on Software Engineering}",
	editor        = "Tan Chin Nam and Larry E. Druffel and Bertrand Meyer",
	isbn          = "0-8186-0849-8",
	pages         = "324--333",
	publisher     = "{IEEE Computer Society}",
	title         = "{m-EVES: A Tool for Verifying Software}",
	year          = 1988,
}