DMCA

Towards Dynamic Population Management of Abstract Machines in the B Method (2003)

Cached

Download Links

by Nazareno Aguirre , Juan Bicarregui , Theo Dimitrakos , Tom Maibaum
Venue:Proceedings of the Third international conference of B and Z users: ZB2003. LNCS 2651
Citations:2 - 0 self