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
A UNITY-based framework towards component based systems
OPODIS'04 Proceedings of the 8th international conference on Principles of Distributed Systems
On the composition of compositional reasoning
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Hi-index | 0.00 |