S. Patel, R. A. Orr, M. T. Norris, David W. Bustard. Tools to Support Formal Methods. In ICSE. pages 123-132, 1989.
@inproceedings{PatelONB89,
title = {Tools to Support Formal Methods},
author = {S. Patel and R. A. Orr and M. T. Norris and David W. Bustard},
year = {1989},
researchr = {https://researchr.org/publication/PatelONB89},
cites = {0},
citedby = {0},
pages = {123-132},
booktitle = {ICSE},
}