@inproceedings{Hanna:2009:SEF,
  title = "A Symbolic Execution Framework for Algorithm-Level Modelling",
  author = "Ziyad Hanna and Tom Melham",
  year = "2009",
  booktitle = "High Level Design Validation and Test Workshop, 2009. HLDVT 2009.",
  editor = "Priyank Kalla and Prabhat Mishra",
  isbn = "978-1-4244-4823-4",
  issn = "1552-6674",
  pages = "94--99",
  publisher = "IEEE",
  url = "http://www.comlab.ox.ac.uk/tom.melham/pub/Hanna-2009-SEF.pdf",
  doi = "10.1109/HLDVT.2009.5340168",
}