An Experiment in Program Composition and Proof
Formal Methods in System Design
An Approach to Composition Motivated by wp
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Program Composition in Isabelle/UNITY
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Reasoning about Composition Using Property Transformers and Their Conjugates
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Towards a Compositional Approach to the Design and Verification of Distributed Systems
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Science of Computer Programming
Hi-index | 0.00 |