Towards dynamic population management of abstract machines in the B method (2000)

by N Aguirre, J Bicarregui, T Dimitrakos, T Maibaum
Venue:Third International Conference of B and Z Users, volume 2651 of LNCS