An Approach to the Specification of Distributed Software.
William R. Franta, William Earl Boebert, Helmut K. Berg
VenueBFM
Year1979
ProceedingsThe Use of Formal Specification of Software
DBLP recordconf/fm/FrantaBB79 ↗
Browse the full FM paper archive.