You are here:
Newcastle University
»
Computing Science
»
Staff
People Search
|
Site Map
|
Accessibility
|
Skip to Content
Newcastle University
Computing Science
S
earch
Search For:
Home
About
Staff
Contact
Research
Current students
Study with us!
Dr Joseph Coleman
Guest Member of Staff
Publications
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
.
Staff
All Staff
Academic
Research Associates
Research Students
Teaching Fellows
Admin and Clerical
Support
Netskills
Guests and Visitors
Undergraduate
|
Postgraduate
|
Research
|
Business
|
International
|
About Us
|
Maps and Directions
|
Web Site
M
ap
Report a problem with this web page
Last updated 23 April, 2012
© 2012 Newcastle University