| Mr. Yuk Ching Lam | |
| Degree: | PhD |
| Project Title: | An approach to apply formal methods in real life application |
| Thesis Title: | - |
| Supervisor: | Prof. Paul Bailes |
| Location: | 78-329* |
| Phone: | External |
| Email: | yclam@itee.uq.edu.au |
| Home Page: | http://www.itee.uq.edu.au/~yclam |