Jump to Content

The Existence of Refinement Mappings

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

Abstract

Research Areas