author : Zhendong Jin

Short works

• Probabilistic invariants for probabilistic machines. 2003. (In ZB 2003 )
• Development via refinement in Probabilistic B -- foundation and case study. 2005. (In ZB 2005 )