I. Mearns

Publication Activity (10 Years)

Years Active: 1986-1986
Publications (10 Years): 0

University of Manchester, UK (PHD)

Education History

University of Manchester, UK

PHD

Publications

Howard Barringer, I. Mearns
A Proof System for Ada Tasks. Comput. J. 29 (5) (1986)