Specification and Validation of a Security Policy Model
IEEE Transactions on Software Engineering
Systems Development Using Z Generics
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Improving access of the commercial software developer to formal methods: integrating MERISE with Z
Methods'96 Proceedings of the 1996 international conference on Methods Integration
Methods'96 Proceedings of the 1996 international conference on Methods Integration
Hi-index | 0.01 |