Jump to Content

Conjoining Specifications

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

Abstract

Research Areas