Jump to Content

Composing Specifications

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

Abstract

Research Areas