Zhendong Jin

	2005
2		Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan: Development via Refinement in Probabilistic B - Foundation and Case Study. ZB 2005: 355-373
	2003
1		Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan: Probabilistic Invariants for Probabilistic Machines. ZB 2003: 240-259

Coauthor Index

1	Thai Son Hoang	[1] [2]
2	Annabelle McIver (A. K. McIver)	[1] [2]
3	Carroll Morgan (Carroll C. Morgan)	[1] [2]
4	Ken Robinson (Kenneth Arthur Robinson)	[1] [2]