Skip to content

Some correctness principles for machine language programs and microprograms.

W. Douglas Maurer

VenueA*MICRO
Year1974
ProceedingsMICRO

Browse the full MICRO paper archive.