Abstract Specification in Object-Z and CSP
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Decomposition tool for event-B
Software—Practice & Experience
Hi-index | 0.00 |