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
An experiment in formal software development: using the B theorem prover on a VDM case study
Communications of the ACM - Special issue on software engineering
An anatomy of the information resource semantic abstraction
ACM SIGMOD Record
Formal derivation of spanning trees algorithms
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Hi-index | 0.00 |