%0 Journal Article %1 journals/sttt/DilligDLMS17 %A Dillig, Isil %A Dillig, Thomas %A Li, Boyang %A McMillan, Kenneth L. %A Sagiv, Mooly %D 2017 %J Int. J. Softw. Tools Technol. Transf. %K %N 5 %P 535-547 %T Synthesis of circular compositional program proofs via abduction. %U http://dblp.uni-trier.de/db/journals/sttt/sttt19.html#DilligDLMS17 %V 19

@article{journals/sttt/DilligDLMS17, added-at = {2023-12-13T02:12:57.000+0100}, author = {Dillig, Isil and Dillig, Thomas and Li, Boyang and McMillan, Kenneth L. and Sagiv, Mooly}, biburl = {https://www.bibsonomy.org/bibtex/2c8c81313b708a9de00f5c1e02ec6948b/admin}, ee = {https://doi.org/10.1007/s10009-015-0397-7}, interhash = {7c5853b5e9a36df3294b0a097d64d3f9}, intrahash = {c8c81313b708a9de00f5c1e02ec6948b}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {}, number = 5, pages = {535-547}, timestamp = {2023-12-13T02:12:57.000+0100}, title = {Synthesis of circular compositional program proofs via abduction.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt19.html#DilligDLMS17}, volume = 19, year = 2017 }