Aligator.jl - A Julia Package for Loop Invariant Generation (bibtex)
by Andreas Humenberger, Maximilian Jaroschek, Laura Kovács
Reference:
Aligator.jl - A Julia Package for Loop Invariant GenerationAndreas Humenberger, Maximilian Jaroschek, Laura KovácsIntelligent Computer Mathematics - 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings (Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef, eds.), volume 11006 of Lecture Notes in Computer Science, pages 111-117, 2018, Springer.
Bibtex Entry:
@inproceedings{DBLP:conf/mkm/HumenbergerJK18,
  author    = {Andreas Humenberger and
               Maximilian Jaroschek and
               Laura Kov{\'{a}}cs},
  editor    = {Florian Rabe and
               William M. Farmer and
               Grant O. Passmore and
               Abdou Youssef},
  title     = {Aligator.jl - {A} Julia Package for Loop Invariant Generation},
  booktitle = {Intelligent Computer Mathematics - 11th International Conference,
               {CICM} 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11006},
  pages     = {111--117},
  publisher = {Springer},
  year      = {2018},
  url       = {http://arxiv.org/abs/1808.05394},
  doi       = {10.1007/978-3-319-96812-4_10}
}
Powered by bibtexbrowser