Composing Specifications

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

Abstract

Research Areas