home
>
book reviews
> Zhendong Jin
Google >
Zhendong Jin
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
)