Presentations for Abstract Context Institutions
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Combining Logics: Parchments Revisited
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
UniForM Perspectives for Formal Methods
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
The UniForM Workbench, a Universal Development Environment for Formal Methods
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
On what exactly goes on when software is developed step-by-step, II: the sequel
Information Processing Letters - Special issue: Contribution to computing science
Category localization semantics for specification refinements
Annals of Mathematics and Artificial Intelligence
Representing model theory in a type-theoretical logical framework
Theoretical Computer Science
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Hi-index | 0.00 |