Applying VDM to large developments
Conference proceedings on Formal methods in software development
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
Verification of proofs for the B formal development process
ACM SIGPLAN Notices
A language-independent approach to specification construction
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Hi-index | 0.00 |