@inproceedings{LRB2018,
 address = {Cham (Switzerland)},
 author = {Lauko, Henrich and Ročkai, Petr and Barnat, Jiří},
 booktitle = {Theoretical Aspects of Computing – ICTAC 2018},
 doi = {http://dx.doi.org/10.1007/978-3-030-02508-3_17},
 editor = {Bernd Fischer, Tarmo Uustalu},
 isbn = {978-3-030-02507-6},
 keywords = {Symbolic Computation; Abstraction; DIVINE; LLVM; Transformation; Verification; Model Checking; C; C++},
 language = {eng},
 location = {Cham (Switzerland)},
 pages = {313-332},
 publisher = {Springer},
 title = {Symbolic Computation via Program Transformation},
 url = {https://link.springer.com/chapter/10.1007/978-3-030-02508-3_17},
 year = {2018}
}