A Functional Rephrasing of the Assumption/Commitment Specification Style
Formal Methods in System Design
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
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
Automated Analysis of Fault-Tolerance in Distributed Systems
Formal Methods in System Design
CARTESIAN STREAM TRANSFORMER COMPOSITION
Fundamenta Informaticae
| Hi-index | 0.01 |