Jifeng He
2 published titles
Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 ; proceedings
(Contributor)
1 edition
- ISBN: 9783540474609
- Springer
- 2006
- Details
Theories of programming and formal methods : essays dedicated to Jifeng He on the occasion of his 70th birthday
(Contributor)
1 edition
- ISBN: 9783642396984
- Springer
- 2013
- Details
