A mechanically verified code generator (1989)

by William D. Young
Venue:Journal of Automated Reasoning
Citations:33 - 1 self