@inproceedings{TACAS-2014-KroeningT,
author = "Daniel Kröning and Michael Tautschnig",
booktitle = "{Proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems}",
doi = "10.1007/978-3-642-54862-8_26",
isbn = "978-3-642-54861-1",
pages = "389--391",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{CBMC — C Bounded Model Checker — (Competition Contribution)}",
volume = 8413,
year = 2014,
}
Tags: