Dr Joseph Coleman
Guest Member of Staff
- Email: firstname.lastname@example.org
- Telephone: +44 191 208 8168
BackgroundJoey has joint publications on "Method Frames" with Prof. Cliff Jones and carried out research on the COMPASS project led by Prof. John Fitzgerald.
- Coleman JW. A Rely/Guarantee Reasoning Framework using Computational Tree Logic. Newcastle upon Tyne: Newcastle University, 2010. School of Computing Science Technical Report Series 1229.