William R. Franta, W. E. Boebert, Helmut K. Berg. An Approach to the Specification of Distributed Software. 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 197-236, Springer, 1979.
@inproceedings{FrantaBB79,
title = {An Approach to the Specification of Distributed Software},
author = {William R. Franta and W. E. Boebert and Helmut K. Berg},
year = {1979},
tags = {e-science, systematic-approach},
researchr = {https://researchr.org/publication/FrantaBB79},
cites = {0},
citedby = {0},
pages = {197-236},
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},
}