Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 9.

Article

Wing, JM and Woodcock, J.C.P. (2000) Introduction: Special Issues for FM'99: the First World Congress on Formal Methods in the Development of Computing Systems. IEEE Transactions on Software Engineering, 26 (8). pp. 673-674. ISSN 0098-5589. (The full text of this publication is not available from this repository)

Wing, JM and Woodcock, J.C.P. (2000) Introduction: Special Issues for FM'99: the First World Congress on Formal Methods in the Development of Computing Systems. Formal Methods in System Design, 17 (3). pp. 199-200. ISSN 0925-9856 . (The full text of this publication is not available from this repository)

Monograph

Stepney, S. and Cooper, C. and Woodcock, J.C.P. (2000) An Electronic Purse: Specification, Refinement and Proof. Technical report. Oxford University (Full text available)
[img]
Preview

Conference or workshop item

Woodcock, J.C.P. (2002) Unifying Theories of Parallel Programming. In: ICFEM 2002: 4th International Conference on Formal Engineering Methods, October 21-25, 2002, Shanghai China. (The full text of this publication is not available from this repository)

Woodcock, J.C.P. and McEwan, A.A. (2002) Verifying the Properties of a Railway Signalling Device. In: Proceedings , International Conference on Integrated Design and Process Technology. IDPT Press, Passadena (The full text of this publication is not available from this repository)

Woodcock, J.C.P. (2002) An Introduction to the Alphabetised Relational Calculus. In: Logic and Algebra for Engineering Software. (The full text of this publication is not available from this repository)

Woodcock, J.C.P. (2002) Semantics of Parallel Programming Languages in the Unifying Theory. In: Logic and Algebra for Engineering Software. (The full text of this publication is not available from this repository)

Woodcock, J. and Davies, J. and Bolton, C. (2000) Abstract Data Types and Processes. In: Proceedings of the Symposium in Honour of CAR Hoare. (The full text of this publication is not available from this repository)

Woodcock, J.C.P. and McEwan, A.A. (2000) An Overview of the Verification of a Handel-C Program. In: International Conference on Parallel and Distributed Processing Techniques and Applications, Jun 26-29, 2000, Las Vegas, NV, . (The full text of this publication is not available from this repository)

This list was generated on Wed Jun 25 14:32:23 2014 BST.