Contrasting translation, verification and synthesis in software and firmware engineering.

Robert A. Mueller, Gearold R. Johnson

Browse the full MICRO paper archive.