TY  - RPRT
TI  - Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs
AU  - Assalé Adje
AU  - Pierre-Loïc Garoche
PY  - 2014
UR  - https://arxiv.org/abs/1409.5089
ID  - 1409.5089
ER  -