Compilation by refinement for a practical assembly language (2003)

by Geoffrey Watson
Venue:International Conference on Formal Engineering Methods (ICFEM