Zimmerman,w.: ASM-based mechanized verification of compiler back-ends (1998)

by A Dol, T Gaul, U Vialard
Venue:Magdeburg University