1
The Fundamental Research for Trustworthy Software [E-Book] /
He, Jifeng
2024
Other Personal Name(s): “...He, Jifeng...”

Full text 
Favorites
Saved in:
2
Formal Methods and Software Engineering (vol. # 4260) [E-Book] / 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings
He, Jifeng
2006
Other Personal Name(s): “...He, Jifeng...”

Full text 
Favorites
Saved in:
3
Mathematical frameworks for component software : models for analysis and synthesis [E-Book] /
He, Jifeng
2006
Other Personal Name(s): “...He, Jifeng...”

Full text 
Favorites
Saved in:
4
Advances in Computing Science — ASIAN 2000 [E-Book] : 6th Asian Computing Science Conference Penang, Malaysia, November 25–27, 2000 Proceedings /
Other Personal Name(s): “...Jifeng, He....”

Full text 
Favorites
Saved in:

Narrow Search Results