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ácsCICM, volume 11006 of Lecture Notes in Computer Science, pages 111–117, 2018, Springer.
Bibtex Entry:
@string{springer="Springer"}
@inproceedings{DBLP:conf/mkm/HumenbergerJK18,
  author    = {Andreas Humenberger and
               Maximilian Jaroschek and
               Laura Kov{\'{a}}cs},
  title     = {Aligator.jl - {A} Julia Package for Loop Invariant Generation},
  booktitle = {{CICM}},
  series    = {Lecture Notes in Computer Science},
  volume    = {11006},
  pages     = {111--117},
  publisher = {Springer},
  year      = {2018}
}
Powered by bibtexbrowser