5 papers:
SCAM-2013-Ward #assembly- Assembler restructuring in FermaT (MW), pp. 147–156.
- SCAM-2009-Ward09a #maintenance #tool support
- The FermaT Maintenance Environment Tool Demonstration (MPW), pp. 125–126.
CSMR-2005-WardZH #abstraction #refinement #semantics #slicing- Conditioned Semantic Slicing via Abstraction and Refinement in FermaT (MPW, HZ, TH), pp. 178–187.
ICSM-2001-Ward #assembly #re-engineering- The FermaT Assembler Re-engineering Workbench (MPW), pp. 659–662.
- ICSM-1999-Ward #assembly #c #migration #using
- Assembler to C Migration Using the FermaT Transformation System (MPW), pp. 67–76.
