@inbook{germane-2019-demand, title={Demand Control-Flow Analysis}, ISBN={9783030112455}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-030-11245-5_11}, DOI={10.1007/978-3-030-11245-5_11}, booktitle={Verification, Model Checking, and Abstract Interpretation}, publisher={Springer International Publishing}, author={Germane, Kimball and McCarthy, Jay and Adams, Michael D. and Might, Matthew}, year={2019}, pages={226–246} }

germane-2019-demand:
  type: chapter
  title: Demand Control-Flow Analysis
  author:
  - Germane, Kimball
  - McCarthy, Jay
  - Adams, Michael D.
  - Might, Matthew
  date: 2019
  page-range: 226-246
  url: http://dx.doi.org/10.1007/978-3-030-11245-5_11
  serial-number:
    doi: 10.1007/978-3-030-11245-5_11
    isbn: '9783030112455'
    issn: 1611-3349
  parent:
    type: book
    title: Verification, Model Checking, and Abstract Interpretation
    publisher: Springer International Publishing