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