Composing Specifications

Leslie Lamport
REX Workshop(1989), pp. 1-41

Abstract

Research Areas