Robert D. Tennent
Robert Tennent.
Semantical analysis of specification logic.
Information and Computation
, 85(2):135-162, April 1990.
Abstract and Citations.
P. W. O'Hearn and R. D. Tennent.
Semantical analysis of specification logic, 2.
Information and Computation
, 107(1):25-57, November 1993.
Abstract, References, and Citations.
Shortcuts:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database