He, Jifeng, 1943-....
He, Jifeng
何积丰 中國計算機科學家
Jifeng, He (1943- ).
VIAF ID: 13191562 ( Personal )
Permalink: http://viaf.org/viaf/13191562
Preferred Forms
-
-
- 100 1 _ ‡a He, Jifeng ‡d 1943-
- 100 1 _ ‡a He, Jifeng ‡d 1943-
-
-
-
- 100 1 0 ‡a He, Jifeng, ‡d 1943-
-
- 100 1 _ ‡a He, Jifeng, ‡d 1943-....
-
- 100 0 _ ‡a 何积丰 ‡c 中國計算機科學家
4xx's: Alternate Name Forms (22)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Advances in computing science, ASIAN 2000 : 6th Asian computing science conference, Penang, Malaysia, November 25-27, 2000 : proceedings | |
Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings | |
ICFEM 2006 | |
Mathematical frameworks for component software : models for analysis and synthesis | |
Model checking self modifying code | |
Provably correct systems, c1994: | |
Rely guarantee method for verifying shared variable concurrent programs | |
Seventh Refinement Workshop | |
Techniques for formal modelling and verification on dynamic memory allocators | |
Unifying theories of programming | |
Vérification de code auto-modifiant. |