A Computation Model for Z Based on Concurrent Constraint Resolution
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Reasoning Inductively about Z Specifications via Unification
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
On Mutually Recursive Free Types in Z
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Hi-index | 0.00 |