Retrenchment, Refinement, and Simulation
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
A Practical Single Refinement Method for B
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Hi-index | 0.00 |