Susan L. Gerhart, Dan Craigen, Ted Ralston
Observations on Industrial Practice Using Formal Methods
ICSE, 1993.
@inproceedings{ICSE-1993-GerhartCR,
acmid = "257572.257578",
author = "Susan L. Gerhart and Dan Craigen and Ted Ralston",
booktitle = "{Proceedings of the 15th International Conference on Software Engineering}",
editor = "Victor R. Basili and Richard A. DeMillo and Takuya Katayama",
isbn = "0-89791-588-7",
pages = "24--33",
publisher = "{IEEE Computer Society / ACM Press}",
title = "{Observations on Industrial Practice Using Formal Methods}",
year = 1993,
}