Trace Logic for Inductive Loop Reasoning (bibtex)
by Pamina Georgiou, Bernhard Gleiss, Laura Kovács
Reference:
Trace Logic for Inductive Loop ReasoningPamina Georgiou, Bernhard Gleiss, Laura Kovács2020 Formal Methods in Computer Aided Design (FMCAD), pages 255–263, 2020.
Bibtex Entry:
@string{ieee="IEEE"}
@inproceedings{georgiou2020trace,
  title={Trace Logic for Inductive Loop Reasoning},
  author    = {Pamina Georgiou and
               Bernhard Gleiss and
               Laura Kov{\'{a}}cs},
  booktitle={2020 Formal Methods in Computer Aided Design (FMCAD)},
  pages={255--263},
  year={2020},
  organization={IEEE},
  url       = {https://ieeexplore.ieee.org/document/9283634},
  doi       = {10.34727/2020/isbn.978-3-85448-042-6_33},
  biburl    = {https://repositum.tuwien.at/handle/20.500.12708/15529},
}
Powered by bibtexbrowser