by Kenneth L. McMillan
Reference:
Interpolation and Model Checking (Kenneth L. McMillan), Chapter in Handbook of Model Checking., 2018.
Bibtex Entry:
@incollection{DBLP:reference/mc/McMillan18,
author = {Kenneth L. McMillan},
title = {Interpolation and Model Checking},
booktitle = {Handbook of Model Checking.},
pages = {421--446},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-10575-8\_14},
doi = {10.1007/978-3-319-10575-8\_14},
timestamp = {Tue, 29 May 2018 12:30:27 +0200},
biburl = {https://dblp.org/rec/bib/reference/mc/McMillan18},
bibsource = {dblp computer science bibliography, https://dblp.org}
}