@inproceedings{Melham:2003:AEP,
  title = "Abstract: Experience with Practical Formal Verification at an Industrial Scale",
  author = "Tom Melham",
  year = "2003",
  booktitle = "Proceedings of the Tenth Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice: 15th--16th {A}pril 2003: {L}iverpool",
  editor = "Clare Dixon",
  organization = "Department of Computer Science, University of Liverpool",
  pages = "1--2",
  url = "http://www.cs.ox.ac.uk/tom.melham/pub/Melham-2003-AEP.pdf",
}