Automatic Construction of Validated B Components from Structured Developments
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Thinking Tools for the Future of Computing Science
Informatics - 10 Years Back. 10 Years Ahead.
Scientific Decisions which Characterize VDM
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
KES '08 Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part II
A technique for retrospective computer validation of drug manufacturing software
International Journal of Computer Applications in Technology
Hi-index | 0.00 |