Proof Transformations for Evolutionary Formal Software Development
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
TAS - A Generic Window Inference System
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
The UniForM WorkBench - A Higher Order Tool Integration Framework
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
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
Functional design and implementation of graphical user interfaces for theorem provers
Journal of Functional Programming
Abstracting refinements for transformation
Nordic Journal of Computing
Tactics for transformational programming
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
| Hi-index | 0.00 |