Specification and Validation of a Security Policy Model
IEEE Transactions on Software Engineering
Formal Methods for Industrial Products
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Practical data refinement for the z schema calculus
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
| Hi-index | 0.00 |