The state-based CCS semantics for concurrent Z specification
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Visualizing graphical and textual formalisms
Information Systems
Nondeterminism in Constructive Z
Fundamenta Informaticae
A comparison of formal real-time specification languages
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Nondeterminism in Constructive Z
Fundamenta Informaticae
Hi-index | 0.00 |