Cited By
View all- Younger EWard M(2006)Inverse‐engineering a simple real‐time programJournal of Software Maintenance: Research and Practice10.1002/smr.43600604046:4(197-234)Online publication date: 30-Oct-2006
- Ward M(2004)Pigs from sausages? Reengineering from assembler to C via FermaT transformationsScience of Computer Programming10.1016/j.scico.2004.03.00752:1-3(213-255)Online publication date: 1-Aug-2004
- Ward M(1996)Derivation of Data Intensive Algorithms by Formal TransformationIEEE Transactions on Software Engineering10.1109/32.54143722:9(665-686)Online publication date: 1-Sep-1996
- Show More Cited By