placeholder image

He, Jifeng

Person

Positions

University of Oxford

selected publications

chapter
- Provably Correct Systems. Lecture Notes in Computer Science. 288-335. 1994

full name

Jifeng He

Publications in VIVO

Co-author Network