Collaborated with:H.K.Berg T.G.Moher W.E.Boebert
Talks about:softwar (2) distribut (1) overview (1) approach (1) correct (1) specif (1)
Person: William R. Franta
DBLP: Franta:William_R=
Contributed to:
1979Wrote 2 papers:
- FM-1979-BergFM #correctness #overview #perspective
- Correctness of Software — An Overview (HKB, WRF, TGM), pp. 237–354.
- FM-1979-FrantaBB #approach #distributed #specification
- An Approach to the Specification of Distributed Software (WRF, WEB, HKB), pp. 197–236.