Understanding the differences between VDM and Z
ACM SIGSOFT Software Engineering Notes
An Approach to Combining B and Alloy
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Information and Software Technology
| Hi-index | 0.00 |