He Jifeng
2 published titles
BCS-FACS 7th refinement workshop : proceedings of the BCS-FACS 7th Refinement Workshop, Bath, 3-5 July 1996
(Contributor)
1 edition
- ISBN: 3540761047
- Springer
- 1997
- Details
Unifying theories of programming
(Contributor)
1 edition
- ISBN: 0134587618
- Prentice Hall
- 1998
- Details
