TY  - RPRT
TI  - Aligator.jl - A Julia Package for Loop Invariant Generation
AU  - Andreas Humenberger
AU  - Maximilian Jaroschek
AU  - Laura Kovács
PY  - 2018
DO  - 10.1007/978-3-319-96812-4_10
UR  - https://arxiv.org/abs/1808.05394
ID  - 1808.05394
ER  -