Conjoining Specifications

Leslie Lamport
ACM Trans. Program. Lang. Syst., 17(1995), pp. 507-534

Abstract

Research Areas