Zhendong Jin

2005
2	EE	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	EE	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	[1] [2]
3	Carroll Morgan	[1] [2]
4	Ken Robinson (Kenneth Arthur Robinson)	[1] [2]