| Mr. Zheng Fu | |
| Degree: | PhD |
| Project Title: | Automatically verifying refinements using model checking and abstraction |
| Thesis Title: | - |
| Supervisor: | Dr. Graeme Smith |
| Location: | 78-320 |
| Phone: | 51631 |
| Email: | zhengfu@itee.uq.edu.au |
| Home Page: | http://www.itee.uq.edu.au/~zhengfu |