A Mechanically Verified Code Generator

William D. Young. A Mechanically Verified Code Generator. Journal of Automated Reasoning, 5(4):493-518, 1989.

Authors

William D. Young

This author has not been identified. It may be one of the following persons: Look up 'William D. Young' in Google