@inproceedings(DBLP:conf/itp/AissatVW16,
 doi          = {10.1007/978-3-319-43144-4\_3},
)
@inproceedings(DBLP:conf/mkm/BarrasGHRTWW13,
 doi          = {10.1007/978-3-642-39320-4\_29},
)
@proceedings(DBLP:conf/tphol/2009,
 doi          = {10.1007/978-3-642-03359-9},
)
@misc(bockenek:hal-02069705,
)
@inproceedings(DBLP:conf/mkm/BruckerACW18,
 doi          = {10.1007/978-3-319-96812-4\_3},
)
@article(DBLP:journals/afp/BruckerTW14,
)
@misc(frama-c-home-page,
)
@inproceedings(DBLP:conf/tphol/CohenDHLMSST09,
 doi          = {10.1007/978-3-642-03359-9\_2},
)
@article(DBLP:journals/cacm/Earley70,
 doi          = {10.1145/362007.362035},
)
@inproceedings(DBLP:conf/pldi/GreenawayLAK14,
 doi          = {10.1145/2594291.2594296},
)
@article(DBLP:journals/jfp/Hutton92,
 doi          = {10.1017/S0956796800000411},
)
@inproceedings(DBLP:conf/tap/Keller18,
 doi          = {10.1007/978-3-319-92994-1\_6},
)
@article(DBLP:journals/tocs/KleinAEMSKH14,
 doi          = {10.1145/2560537},
)
@inproceedings(DBLP:conf/sosp/KleinEHACDEEKNSTW09,
 doi          = {10.1145/1629575.1629596},
)
@article(DBLP:journals/afp/LammichW19,
)
@inproceedings(DBLP:conf/fm/LeinenbachS09,
 doi          = {10.1007/978-3-642-05089-3\_51},
)
@article(DBLP:journals/cacm/Leroy09,
 doi          = {10.1145/1538788.1538814},
)
@book(DBLP:books/sp/NipkowPW02,
 doi          = {10.1007/3-540-45949-9},
)
@inproceedings(DBLP:conf/tacas/SananZHZTL17,
 doi          = {10.1007/978-3-662-54577-5\_28},
)
@article(DBLP:journals/afp/TuongW15,
)
@inproceedings(DBLP:conf/itp/Wenzel14,
 doi          = {10.1007/978-3-319-08970-6\_33},
)
@inproceedings(DBLP:journals/corr/Wenzel14,
 doi          = {10.4204/EPTCS.167.10},
)
@inproceedings(DBLP:conf/tphol/WinwoodKSACN09,
 doi          = {10.1007/978-3-642-03359-9\_34},
)