Prof. Dr. Graeme P. Smith

Current contact address

Country	Australia
City	Brisbane
Institution	University of Queensland (UQ)
Institute	School of Information Technology and Electrical Engineering

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