Factoring an Adequacy Proof (Preliminary Report) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Roy L. Crole, Andrew D. Gordon. Factoring an Adequacy Proof (Preliminary Report). In John T. O'Donnell, Kevin Hammond, editors, Proceedings of the 1993 Glasgow Workshop on Functional Programming, Ayr, Scotland, UK, July 5-7, 1993. Workshops in Computing, pages 9-25, Springer, 1993. [doi]

This author has not been identified. Look up 'Roy L. Crole' in GoogleThis author has not been identified. It may be one of the following persons:

Andrew D. Gordon

Look up 'Andrew D. Gordon' in Google

runs on WebDSL