👤

He, Jifeng

b. 1943 ยท 2 books

Books by He, Jifeng

Mathematical frameworks for component software
Mathematical frameworks for component software
2007
Provably correct systems
Provably correct systems
1995