Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Current contact address
| Country | Australia |
|---|---|
| City | Brisbane |
| Institution | University of Queensland (UQ) |
| Institute | School of Information Technology and Electrical Engineering |
Profile
| Research fields | Theoretical Computer Science,Software Engineering and Programming Languages,Computer Architecture, Embedded and Massively Parallel Systems |
|---|---|
| Keywords | formal verification, refinement, Object-Z, object orientation, formal specification |