home
>
book reviews
> Juan C. Bicarregui
Google >
Juan C. Bicarregui
author : Juan C. Bicarregui
Short works
Integrating VDM++ and Real-Time System Design. 1997.
(In
ZUM '97
)
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
)