Automatic Checking of Instruction Specifications.

Mary F. Fernandez, Norman Ramsey

Browse the full ICSE paper archive.