@misc{Mrazek2016thesis,
 author = {Jan Mrázek},
 keywords = {divine,symdivine},
 school = {Masarykova univerzita, Fakulta informatiky, Brno},
 supervisor = {Jiří Barnat},
 title = {{Caching SMT Queries in SymDIVINE}},
 type = {Bachelor's Thesis},
 url = {http://is.muni.cz/th/422279/fi_b/},
 year = {2016}
}