The Specification and Verified Decomposition of System Requirements Using CSP
IEEE Transactions on Software Engineering
The Need for Compositional Proof Systems: A Survey
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Compositional Verification of Real-Time Applications
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
The Early Search for Tractable Ways of Reasoning about Programs
IEEE Annals of the History of Computing
A refinement calculus for communicating processes with state
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Hi-index | 0.00 |