Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming
IEEE Transactions on Software Engineering
Referential opacity in nondeterministic data refinement
ACM Letters on Programming Languages and Systems (LOPLAS)
Compositional refinement of interactive systems
Journal of the ACM (JACM)
Compositional Refinement of Interactive Systems Modelled by Relations
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
A Logical Basis for Modular Software and Systems Engineering
SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Time, Abstraction, Causality and Modularity in Interactive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |