A mechanically verified code generator (1989)

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