author : Jean-Raymond Abrial

Short works

• "Higher-Order" Mathematics in B. 2002. (In ZB 2002 )
• On Using Conditional Definitions in Formal Theories. 2002. (In ZB 2002 )
• B#: Toward a Synthesis between Z and B. 2003. (In ZB 2003 )
• Formal derivation of spanning tree algorithms. 2003. (In ZB 2003 )
• Refinement and reachability in Event B. 2005. (In ZB 2005 )
• The challenge of probabilistic Event B. 2005. (In ZB 2005 )