BibTeX record journals/corr/KafleG16

• > Home > journals/corr/KafleG16

@inproceedings{DBLP:journals/corr/KafleG16,
  author       = {Bishoksan Kafle and
                  John P. Gallagher},
  editor       = {Geoff W. Hamilton and
                  Alexei Lisitsa and
                  Andrei P. Nemytykh},
  title        = {Interpolant tree automata and their application in Horn clause verification},
  booktitle    = {Proceedings of the Fourth International Workshop on Verification and
                  Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands,
                  2nd April 2016},
  series       = {{EPTCS}},
  volume       = {216},
  pages        = {104--117},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.216.6},
  doi          = {10.4204/EPTCS.216.6},
  timestamp    = {Fri, 03 Jun 2022 08:18:12 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/KafleG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}