@inproceedings{BHB2014,
 address = {Telc},
 author = {Petr Bauch and Vojtěch Havel and Jiří Barnat},
 booktitle = {Proceedings of MEMICS'14},
 doi = {http://dx.doi.org/10.1007/978-3-319-14896-0_5},
 editor = {P. Hlineny et al.},
 howpublished = {elektronická verze "online"},
 isbn = {978-3-319-14895-3},
 keywords = {llvm; formal verification; model checking; divine},
 language = {eng},
 location = {Telc},
 pages = {47-59},
 publisher = {Springer},
 title = {LTL Model Checking of LLVM Bitcode with Symbolic Data},
 year = {2014}
}