SOFL: A Formal Engineering Methodology for Industrial Applications
IEEE Transactions on Software Engineering
State-based approaches: from Z to object-Z
Formal methods for distributed processing
Introducing Reference Semantics via Refinement
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Decoupling in object orientation
FM'05 Proceedings of the 2005 international conference on Formal Methods
Hi-index | 0.00 |