Nils Timm, Stefan Gruner, Madoda Nxumalo, Josua Botha. k-induction and witness refinement with constraint generation. Science of Computer Programming, 200:102532, 2020. [doi]
@article{TimmGNB20, title = {k-induction and witness refinement with constraint generation}, author = {Nils Timm and Stefan Gruner and Madoda Nxumalo and Josua Botha}, year = {2020}, doi = {10.1016/j.scico.2020.102532}, url = {https://doi.org/10.1016/j.scico.2020.102532}, researchr = {https://researchr.org/publication/TimmGNB20}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {200}, pages = {102532}, }