Jifeng He

Mathematical Frameworks for Component Software

2006

Formal methods and software engineering

2006

Provably correct systems

1994

Grundlagenforschung Für Vertrauenswürdige Software

2024

Fundamental Research for Trustworthy Software

2023

Advances in Computing Science - ASIAN 2000

2003

Advances in Blended Learning

2008