@inproceedings(albarghouthi12a,
 doi          = {10.1007/978-3-642-33125-1_21},
)
@inproceedings(albarghouthi12b,
 doi          = {10.1007/978-3-642-27940-9_4},
)
@inproceedings(albarghouthi12c,
 doi          = {10.1007/978-3-642-31424-7_48},
)
@inproceedings(bjorner13,
 doi          = {10.1007/978-3-642-38856-9_8},
)
@inproceedings(flanagan03,
 doi          = {10.1007/3-540-36575-3_14},
)
@inproceedings(flanagan01,
 doi          = {10.1145/360204.360220},
)
@misc(svcomp15,
)
@misc(z3,
)
@inproceedings(gurfinkel15,
 doi          = {10.1007/978-3-319-21690-4_20},
)
@inproceedings(heizmann10,
 doi          = {10.1145/1706299.1706353},
)
@inproceedings(hoder12,
 doi          = {10.1007/978-3-642-31612-8_13},
)
@inproceedings(jaffar09,
 doi          = {10.1007/978-3-642-04244-7_37},
)
@inproceedings(komuravelli14,
 doi          = {10.1007/978-3-319-08867-9_2},
)
@inproceedings(lal-qadeer15,
 doi          = {10.1145/2813885.2737987},
)
@inproceedings(lal-qadeer-lahiri12,
 doi          = {10.1007/978-3-642-31424-7_32},
)
@inproceedings(mcmillan04,
 doi          = {10.1016/j.tcs.2005.07.003},
)
@inproceedings(mcmillan06,
 doi          = {10.1007/11817963_14},
)
@inproceedings(mcmillan14,
 doi          = {10.1007/978-3-319-08867-9_16},
)
@inproceedings(moura08,
 doi          = {10.1007/978-3-540-78800-3_24},
)
@inproceedings(rummer13a,
 doi          = {10.1007/978-3-642-54108-7_1},
)
@inproceedings(rummer13b,
 doi          = {10.1007/978-3-642-39799-8_24},
)