Jifeng He
3 published titles
The weakest prespecification
(Contributor)
1 edition
- Oxford University Computing Laboratory, Programming Research Group
- 1985
- Details
Provably correct systems : modelling of communication languages and design of optimized compilers
1 edition
- ISBN: 0077090527
- McGraw-Hill
- 1995
- Details
Advances in computing science - ASIAN 2000 : 6th Asian Computing Science Conference, Penang, Malaysia, November 25-27, 2000 : proceedings
(Contributor)
1 edition
- ISBN: 3540414282
- Springer
- 2000
- Details
