@inproceedings{Ward00:0,
  title = {Reverse Engineering from Assembler to Formal Specifications via Program Transformations},
  author = {Martin P. Ward},
  year = {2000},
  url = {http://computer.org/proceedings/wcre/0881/08810011abs.htm},
  tags = {transformation engineering, reverse engineering, transformation, program transformation},
  researchr = {https://researchr.org/publication/Ward00%3A0},
  cites = {0},
  citedby = {0},
  pages = {11},
  booktitle = {WCRE},
}