@inproceedings{DBLP:conf/atva/AlglaveDKT11,
author = {Jade Alglave and
Alastair F. Donaldson and
Daniel Kroening and
Michael Tautschnig},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Making Software Verification Tools Really Work},
booktitle = {Automated Technology for Verification and Analysis, 9th International Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {28-42},
publisher = {Springer},
year = {2011},
doi = {10.1007/978-3-642-24372-1_3},
}