Xudong He
Original record- Institution
- Virginia Polytechnic Institute and State University
- Year
- 1989
- Country
- United States
- MGP identifier
- 62461
Dissertation: Integrating Formal Specification and Verification Methods in Software Development
Advisor 1
- John A. N. LeeUniversity of Nottingham · 1958
Students 14
| Name | Institution | Year | Students |
|---|---|---|---|
| Gonzalo Argote | Florida International University | 2009 | 0 |
| Lily Chang | Florida International University | 2011 | 0 |
| Junhua Ding | Not recorded | — | 0 |
| Zhijiang Dong | Florida International University | 2006 | 0 |
| Yujian Fu | Florida International University | 2007 | 0 |
| Shu Gao | Florida International University | 2005 | 0 |
| Chieh-Ying Kan | North Dakota State University | 1994 | 0 |
| Su Liu | Florida International University | 2014 | 0 |
| Lian Mo | Not recorded | — | 0 |
| Hassan Reza | Not recorded | — | 0 |
| Tianjun Shi | Not recorded | — | 0 |
| Weixiang Sun | Florida International University | 2008 | 0 |
| Weili Yao | North Dakota State University | 1996 | 0 |
| Reng Zeng | Florida International University | 2013 | 0 |