The Existence of Refinement Mappings

Leslie Lamport
LICS(1988), pp. 165-175

Abstract

Research Areas