Author: Bruce J. MacLennan
Publication Overview
Publication period start: 1973
Publications
MacLennan,
Bruce J.
(1973):
Fen-An Axiomatic Basis for Program Semantics.
In
Communications of the ACM,
16
(8)
pp. 468-474.