Susan L. Gerhart. Application of Axiomatic Methods to a Specification Analyser. In ICSE. pages 441-453, 1984.
@inproceedings{Gerhart84, title = {Application of Axiomatic Methods to a Specification Analyser}, author = {Susan L. Gerhart}, year = {1984}, researchr = {https://researchr.org/publication/Gerhart84}, cites = {0}, citedby = {0}, pages = {441-453}, booktitle = {ICSE}, }