B. A. Byrne

Publication Activity (10 Years)

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

Publications

Peter T. Wilkinson, J. A. Bouchard, B. A. Byrne, Michael A. Hennell, P. Jackson, G. O'Neill, Graeme I. P. Parkin, Brian A. Wichmann
A prototype system for the validation of Pascal programs. Softw. Eng. J. 3 (2) (1988)