More About TAS and IsaWin - Tools for Formal Program Development
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Integrating HOL-CASL into the Development Graph Manager MAYA
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
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
Electronic Notes in Theoretical Computer Science (ENTCS)
Formalizing the User's Context to Support User Interfaces for Integrated Mathematical Environments
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |