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 )