| |
| 2007 | ||
|---|---|---|
| 3 | EE | Shuaiqiang Wang, Ying Li, Guodong Huang: PostB: The Post-condition Extension onto the B-Method. SERA 2007: 195-202 |
| 2 | EE | Jinkui Hou, Jiancheng Wan, Shuaiqiang Wang: Formalization of Architecture-Centric Model Mapping Using Category Theory. SNPD (1) 2007: 670-675 |
| 1 | EE | Shuaiqiang Wang, Jiancheng Wan, Jinkui Hou: OR-ATP: An Operation Refinement Approach As a Process of Automatic Theorem Proving. SNPD (3) 2007: 1078-1083 |
| 1 | Jinkui Hou | [1] [2] |
| 2 | Guodong Huang | [3] |
| 3 | Ying Li | [3] |
| 4 | Jiancheng Wan | [1] [2] |