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
Dynamics of process models in PML
ISPW '90 Proceedings of the 5th international software process workshop on Experience with software process models
Hi-index | 0.00 |