Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context (2000)

by T Dimitrakos, J Bicarregui, B Matthews, T Maibaum
Venue:in Proceedings of the International Conference of B and Z Users ZB2000