Jifeng He profile picture

Jifeng He

Is this your author profile? Create an account to customize it!

Stand Alone

Provably correct systems
The Fundamental Research for Trustworthy Software
Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers (The McGraw-Hill International Series in Software)
The Fundamental Research for Trustworthy Software
The Fundamental Research for Trustworthy Software
Grundlagenforschung für vertrauenswürdige Software
Grundlagenforschung für vertrauenswürdige Software
Mathematical Frameworks for Component Software Models for Analysis and Synthesis. Series on Component-Based Software Development, Volume 2
Mathematical Frameworks For Component Software: Models For Analysis And Synthesis
BCS-FACS 7th Refinement Workshop Proceedings of the BCS-FACS 7th Refinement Workshop, Bath, 3-5 July 1996
Advances in Computing Science - ASIAN 2000 6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 Proceedings
Advances in Computing Science - ASIAN 2000 6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 Proceedings
Provably correct systems: modelling of communication languagesand design of optimized compilers
Advances in Blended Learning Second Workshop on Blended Learning, WBL 2008, Jinhua, China, August 20-22, 2008, Revised Selected Papers