Algebra-Based Loop Synthesis (bibtex)
by Andreas Humenberger, Nikolaj Bjørner, Laura Kovács
Reference:
Algebra-Based Loop SynthesisAndreas Humenberger, Nikolaj Bjørner, Laura KovácsIFM, volume 12546 of Lecture Notes in Computer Science, pages 440–459, 2020, Springer.
Bibtex Entry:
@inproceedings{DBLP:conf/ifm/HumenbergerBK20,
  author    = {Andreas Humenberger and
               Nikolaj Bj{\o}rner and
               Laura Kov{\'{a}}cs},
  title     = {{Algebra-Based Loop Synthesis}},
  booktitle = {{IFM}},
  series    = {Lecture Notes in Computer Science},
  volume    = {12546},
  pages     = {440--459},
  publisher = {Springer},
  year      = {2020},
  doi       = {10.1007/978-3-030-63461-2_24}
}
Powered by bibtexbrowser