@inproceedings{Susanto:2003:AAF,
  author = "Kong Woei Susanto and Tom Melham",
  booktitle = "Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, {ICFEM} 2003: {S}ingapore, {N}ovember 5--7, 2003: {P}roceedings",
  editor = "Jin Song Dong and Jim Woodcock",
  isbn = "3-540-20461-X",
  issn = "0302-9743",
  pages = "48--67",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  title = "An {AMBA-ARM7} Formal Verification Platform",
  url = "http://www.comlab.ox.ac.uk/tom.melham/pub/Susanto-2003-AAF.pdf",
  volume = "2885",
  year = "2003",
}