WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
A Single Perspective on Arrows between Institutions
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Model Checking for Combined Logics with an Application to Mobile Systems
Automated Software Engineering
Hi-index | 0.00 |