@inproceedings{kranz17modular,
  author = {J. Kranz and A. Simon},
  title = {Modular {A}nalysis of {E}xecutables {U}sing {O}n-{D}emand {H}eyting {C}ompletion},
  booktitle = {VMCAI 2018: Verification, Model Checking, and Abstract Interpretation},
  year = 2018,
  publisher = {Springer},
  doi = {10.1007/978-3-319-73721-8_14},
  address = {Los Angeles, California, USA},
}