@inproceedings{alglave:donaldson:kroening:tautschnig:atva11,
  title = "Making Software Verification Tools Really Work",
  author = "Jade Alglave and Alastair Donaldson and Daniel Kroening and Michael Tautschnig",
  year = "2011",
  booktitle = "Proceedings of 9th Automated Technology for Verification and Analysis (ATVA 2011)",
  isbn = "978-3-642-24371-4",
  month = "oct",
  pages = "28-42",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "6996",
}