DMCA

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

Cached

Download Links

by Theo Dimitrakos , Juan Bicarregui , Brian Matthews , Tom Maibaum
Venue:in Proceedings of the International Conference of B and Z Users ZB2000
Citations:4 - 3 self