author : Nazareno Aguirre

Short works

• Towards dynamic population management of abstract machines in the B method. 2003. (In ZB 2003 )