M. P. Ward

Publication Activity (10 Years)

Years Active: 1993-1996
Publications (10 Years): 0

Publications

M. P. Ward
Program Analysis by Formal Transformation. Comput. J. 39 (7) (1996)
E. J. Younger, M. P. Ward
Inverse-engineering a simple real-time program. J. Softw. Maintenance Res. Pract. 6 (4) (1994)
Edward J. Younger, M. P. Ward
Understanding concurrent programs using program transformations. WPC (1993)