home
>
book reviews
> Theo Dimitrakos
Google >
Theo Dimitrakos
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
)