Logical framework based program development
ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue
Searching for a Global Search Algorithm
Automated Software Engineering
TAS - A Generic Window Inference System
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Software Development in PVS Using Generic Development Steps
Selected Papers from the International Seminar on Generic Programming
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
Structured formal development in Isabelle
Nordic Journal of Computing - Selected papers of the 17th nordic workshop on programming theory (NWPT'05), October 19-21, 2005
Hi-index | 0.00 |