Relational Program Reasoning Using Compiler IR – Combining Static Verification and Dynamic Analysis (bibtex)
by Moritz Kiefer, Vladimir Klebanov and Mattias Ulbrich
Reference:
Relational Program Reasoning Using Compiler IR – Combining Static Verification and Dynamic Analysis (Moritz Kiefer, Vladimir Klebanov and Mattias Ulbrich), In Journal of Automated Reasoning, volume 60, 2017.
Bibtex Entry:
@Article{KieferKlebanovUlbrich2017,
  author       = {Moritz Kiefer and Vladimir Klebanov and Mattias
                  Ulbrich},
  title        = {Relational Program Reasoning Using Compiler {IR} --
                  Combining Static Verification and Dynamic Analysis},
  journal      = {Journal of Automated Reasoning},
  doi          = {10.1007/s10817-017-9433-5},
  year         = {2017},
  volume       = {60},
  number       = {3},
  pages        = {337--363},
  month        = sep,
  http         = {https://formal.iti.kit.edu/biblio/?lang=en&key=KieferKlebanovUlbrich2017},
  keywords     = {IMPROVE},
}
Powered by bibtexbrowser