A Partial-Correctness Semantics for Modelling Assembler Programs.

Geoffrey Watson, Colin J. Fidge

Browse the full SEFM paper archive.