[an error occurred while processing this directive] An error occured whilst processing this directive

Stephen Gilmore

Position:Reader
Role:Member
E-mail:stg@inf (add .ed.ac.uk for real email)
Office(s):IF-3.47
Phone(s):(+44 131 6)505189
Research Interests:Formal methods of program development, formal specifications, software engineering, concurrent systems.
Homepage:http://www.dcs.ed.ac.uk/~stg/

This page is generated from the School of Informatics Database. If you think that some information is incorrect, please contact the database administrator.

An error occured whilst processing this directive