On institutions for modular coalgebraic specifications
Theoretical Computer Science
Logical systems for structured specifications
Theoretical Computer Science
Verifying Architectural Specifications
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Moving Specification Structures Between Logical Systems
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
A Reuse-Oriented Framework for Hierarchical Specifications
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
On the Integration of Observability and Reachability Concepts
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Generalized Interpolation in First Order Logic
Fundamenta Informaticae
Generalized Interpolation in First Order Logic
Fundamenta Informaticae
Hi-index | 0.00 |