Czajka, Lukasz, Kaliszyk, Cezary. Strong Automation for Program Verification in Coq. The Fourth International Workshop on Coq for Programming Languages, , 2018.
@article{czajkastrong,
title = {Strong Automation for Program Verification in Coq},
author = {Czajka, Lukasz and Kaliszyk, Cezary},
year = {2018},
researchr = {https://researchr.org/publication/czajkastrong},
cites = {0},
citedby = {0},
journal = {The Fourth International Workshop on Coq for Programming Languages},
}