Formal Methods and Programming Research Group

School of Computing - University of Teesside - Middlesbrough (UK)
Teesside Formal Methods and Programming Research Group
Menu of Content Home Research Activities Publications Software People Bill Stoddart Steve Dunne Phil Brooke Frank Zeyda Robert Lynas Anthony Howitt David Cumbor Contacts	Publications of David Cumbor Conference & Journal Papers Conference Proceedings Unpublished Papers Technical Reports Theses
If you have difficulties accessing this website please email d.cumbor {at} tees.ac.uk.

Publications of David Cumbor