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/cicm/HumenbergerJK18,
  author    = {Andreas Humenberger and
               Maximilian Jaroschek and
               Laura Kov{\'{a}}cs},
  editor    = {Rabe, Florian
               and Farmer, William M.
               and Passmore, Grant O.
               and Youssef, Abdou},
  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},
  doi       = {10.1007/978-3-319-96812-4_10}
}
Powered by bibtexbrowser