Proceedings paper

Title:
Function Summarization Modulo Theories
Authors:
Sepideh Asadi, Martin Blicha, Grigory Fedyukovich, Antti Hyvärinen, Karine Even-Mendoza, Natasha Sharygina, Hana Chockler
Publication:
LPAR-22
DOI:
Year:
2018
Link:

BibTeX:
@inproceedings{asadi_function_2018,
    title = {{Function Summarization Modulo Theories}},
    author = {Asadi, Sepideh and Blicha, Martin and Fedyukovich, Grigory and Hyvärinen, Antti and Even-Mendoza, Karine and Sharygina, Natasha and Chockler, Hana},
    year = {2018},
    booktitle = {{LPAR-22}},
    publisher = {EasyChair},
    series = {{EPiC Series in Computing}},
    doi = {10.29007/d3bt},
    pages = {56--75},
    url = {https://easychair.org/publications/paper/nNLJ},
    volume = {57},
}