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
Systematic software development using VDM
Systematic software development using VDM
Proceedings of the 2nd VDM-Europe Symposium on VDM---The Way Ahead
A support system for formal reasoning: requirements and status
Proceedings of the 2nd VDM-Europe Symposium on VDM---The Way Ahead
Properties of Z specifications
ACM SIGSOFT Software Engineering Notes
A Discipline of Programming
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
Applying VDM to large developments
Conference proceedings on Formal methods in software development
Hi-index | 0.00 |