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ácsIntegrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings (Brijesh Dongol, Elena Troubitsyna, eds.), volume 12546 of Lecture Notes in Computer Science, pages 440–459, 2020, Springer.
Bibtex Entry:
@string{springer="Springer"}
@inproceedings{DBLP:conf/ifm/HumenbergerBK20,
  author    = {Andreas Humenberger and
               Nikolaj Bj{\o}rner and
               Laura Kov{\'{a}}cs},
  editor    = {Brijesh Dongol and
               Elena Troubitsyna},
  title     = {Algebra-Based Loop Synthesis},
  booktitle = {Integrated Formal Methods - 16th International Conference, {IFM} 2020,
               Lugano, Switzerland, November 16-20, 2020, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {12546},
  pages     = {440--459},
  publisher = {Springer},
  year      = {2020},
  url       = {https://doi.org/10.1007/978-3-030-63461-2\_24},
  doi       = {10.1007/978-3-030-63461-2\_24},
  timestamp = {Tue, 17 Nov 2020 15:23:51 +0100},
  biburl    = {https://dblp.org/rec/conf/ifm/HumenbergerBK20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Powered by bibtexbrowser