Helmut K. Berg, William R. Franta, Thomas G. Moher. Correctness of Software - An Overview. In Helmut K. Berg, Wolfgang K. Giloi, editors, The Use of Formal Specification of Software, June 25-27, 1979, Berlin. Volume 36 of Informatik-Fachberichte, pages 237-354, Springer, 1979.
@inproceedings{BergFM79,
title = {Correctness of Software - An Overview},
author = {Helmut K. Berg and William R. Franta and Thomas G. Moher},
year = {1979},
researchr = {https://researchr.org/publication/BergFM79},
cites = {0},
citedby = {0},
pages = {237-354},
booktitle = {The Use of Formal Specification of Software, June 25-27, 1979, Berlin},
editor = {Helmut K. Berg and Wolfgang K. Giloi},
volume = {36},
series = {Informatik-Fachberichte},
publisher = {Springer},
isbn = {3-540-10442-9},
}