On Proving Correctness of Microprograms
Work
Year: 1974
Type: article
Author Alexander Birman
Institution IBM Research - Thomas J. Watson Research Center
Cites: 11
Cited by: 21
Related to: 10
FWCI: 24.54
Citation percentile (by year/subfield): 92.33
Subfield: Industrial and Manufacturing Engineering
Field: Engineering
Domain: Physical Sciences
Open Access status: closed