Geoffrey Watson (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Geoffrey Watson, Colin J. Fidge: A Partial-Correctness Semantics for Modelling Assembler Programs. SEFM 2003: 82-90

Selection of 1 from 7 records - Geoffrey Watson has 12 coauthors