Skip to content

Correctness and equivalence of straight line microprograms.

C. V. Ramamoorthy, K. S. Shankar

VenueA*MICRO
Year1973
ProceedingsMICRO

Browse the full MICRO paper archive.