by Isil Dillig and Thomas Dillig and Boyang Li and Kenneth L. McMillan and Mooly Sagiv
Reference:
Synthesis of circular compositional program proofs via abduction (Isil Dillig and Thomas Dillig and Boyang Li and Kenneth L. McMillan and Mooly Sagiv), In STTT, volume 19, 2017.
Bibtex Entry:
@article{DBLP:journals/sttt/DilligDLMS17,
author = {Isil Dillig and
Thomas Dillig and
Boyang Li and
Kenneth L. McMillan and
Mooly Sagiv},
title = {Synthesis of circular compositional program proofs via abduction},
journal = {{STTT}},
volume = {19},
number = {5},
pages = {535--547},
year = {2017},
url = {https://doi.org/10.1007/s10009-015-0397-7},
doi = {10.1007/s10009-015-0397-7},
timestamp = {Tue, 05 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/sttt/DilligDLMS17},
bibsource = {dblp computer science bibliography, https://dblp.org}
}