Mechanical proofs about computer programs
Proc. of a discussion meeting of the Royal Society of London on Mathematical logic and programming languages
Systematic software development using VDM
Systematic software development using VDM
Towards a formal definition of GKS and other graphics standards
Proceedings of the 2nd VDM-Europe Symposium on VDM---The Way Ahead
Proceedings of the 2nd VDM-Europe Symposium on VDM---The Way Ahead
Specification of an operating system kernel forest and VDM compared
Proceedings of the 2nd VDM-Europe Symposium on VDM---The Way Ahead
The VIP VDM specification language
Proceedings of the 2nd VDM-Europe Symposium on VDM---The Way Ahead
The use of VDM on the specification of Chinese characters
Proceedings of the 2nd VDM-Europe Symposium on VDM---The Way Ahead
Properties of Z specifications
ACM SIGSOFT Software Engineering Notes
Fundamentals of algebraic specification 2: module specifications and constraints
Fundamentals of algebraic specification 2: module specifications and constraints
An experiment in formal software development: using the B theorem prover on a VDM case study
ICSE '90 Proceedings of the 12th international conference on Software engineering
ICSE '90 Proceedings of the 12th international conference on Software engineering
An axiomatic basis for computer programming
Communications of the ACM
Practical Experience of Formal Specification: A Programming Interface for Communications
ESEC '89 Proceedings of the 2nd European Software Engineering Conference
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
Hi-index | 0.00 |