Jump to Content

Composing Specifications

Leslie Lamport
ACM Trans. Program. Lang. Syst., vol. 15 (1993), pp. 73-132

Abstract

Research Areas