Deductive Verification in Decidable Fragments with Ivy (bibtex)

by Kenneth L. McMillan and Oded Padon

Reference:

Deductive Verification in Decidable Fragments with Ivy (Kenneth L. McMillan and Oded Padon), In Static Analysis - 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings (Andreas Podelski, ed.), Springer, volume 11002, 2018.

Bibtex Entry:

@inproceedings{DBLP:conf/sas/McMillanP18,
  author    = {Kenneth L. McMillan and
               Oded Padon},
  editor    = {Andreas Podelski},
  title     = {Deductive Verification in Decidable Fragments with Ivy},
  booktitle = {Static Analysis - 25th International Symposium, {SAS} 2018, Freiburg,
               Germany, August 29-31, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11002},
  pages     = {43--55},
  publisher = {Springer},
  year      = {2018},
  url       = {SAS18.pdf},
  doi       = {10.1007/978-3-319-99725-4\_4},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/McMillanP18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}