The logical basis for computer programming. Volume 1: deductive reasoning
The logical basis for computer programming. Volume 1: deductive reasoning
Mechanical proofs about computer programs
Proc. of a discussion meeting of the Royal Society of London on Mathematical logic and programming languages
Implementing mathematics with the Nuprl proof development system
Implementing mathematics with the Nuprl proof development system
Natural deduction as higher-order resolution
Journal of Logic Programming
A support system for formal reasoning: requirements and status
Proceedings of the 2nd VDM-Europe Symposium on VDM---The Way Ahead
An overview of LP, the larch power
RTA-89 Proceedings of the 3rd international conference on Rewriting Techniques and Applications
A Discipline of Programming
VDM '88 Proceedings of the Europe Symposium on VDM - The Way Ahead
Two Approaches towards the Formalisation of VDM
VDM '90 Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development
A Formal Approach To Large Software Construction
Proceedings of the International Conference on Mathematics of Program Construction, 375th Anniversary of the Groningen University
The WEB system of structured documentation
The WEB system of structured documentation
Specifying Transaction-Based Information Systems with Regular Expressions
IEEE Transactions on Software Engineering
Developing reactive systems in a VDM framework
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Hi-index | 0.00 |