Kenneth Harold Anthony Johnson

If you made any changes in Pure these will be visible here soon.

Filter

2012

A Model of Computing as a Service for Cost Analysis
Johnson, K. H. A. & Tucker, J. V., 2012, (Unpublished) 10 p.
Research output: Other contribution
2010

A Synchronous Approach to Threaded Program Verification
Johnson, K. H. A., Besnard, L., Gautier, T. & Talpin, J-P., 2010, (Unpublished) 32 p.
Research output: Other contribution
2008

The Data Type of Spatial Objects
Johnson, K. H. A. & Tucker, J. V., 2008, (Unpublished) 39 p.
Research output: Other contribution

Research output