Cyber & formal methods publications May 1, 2006 Conference PaperCompositionality for Tightly Coupled Systems: a New Application of the Propositions-As-Types Interpretation SRI International May 1, 2006 ↓ View online Share this