by Anubhav Gupta and Kenneth L. McMillan and Zhaohui Fu
Reference:
Automated assumption generation for compositional verification (Anubhav Gupta and Kenneth L. McMillan and Zhaohui Fu), In Formal Methods in System Design, volume 32, 2008.
Bibtex Entry:
@article{DBLP:journals/fmsd/GuptaMF08,
author = {Anubhav Gupta and
Kenneth L. McMillan and
Zhaohui Fu},
title = {Automated assumption generation for compositional verification},
journal = {Formal Methods in System Design},
volume = {32},
number = {3},
pages = {285--301},
year = {2008},
url = {FMSD08.pdf},
doi = {10.1007/s10703-008-0050-0},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/fmsd/GuptaMF08},
bibsource = {dblp computer science bibliography, https://dblp.org}
}