author : Theo Dimitrakos

Short works

• Compositional structuring in the B Method: A Logical Viewpoint of the Static Context. 2000. (In ZB 2000 )
• Towards dynamic population management of abstract machines in the B method. 2003. (In ZB 2003 )