Conjoining Specifications

Martín Abadi, Leslie Lamport. Conjoining Specifications. ACM Transactions on Programming Languages and Systems, 17(3):507-534, 1995. [doi]

Abstract

Abstract is missing.