@inproceedings{RSB15TC,
 author = {Petr Ročkai and Vladimír Štill and Jiří Barnat},
 booktitle = {{Software Engineering and Formal Methods}},
 doi = {10.1007/978-3-319-22969-0_19},
 editor = {Calinescu, Radu and Rumpe, Bernhard},
 isbn = {978-3-319-22968-3},
 keywords = {divine},
 language = {English},
 pages = {268--282},
 publisher = {Springer International Publishing},
 series = {Lecture Notes in Computer Science},
 title = {{Techniques for Memory-Efficient Model Checking of C and C++ Code}},
 volume = {9276},
 year = {2015}
}