TY  - RPRT
TI  - Invariant stream generators using automatic abstract transformers based on a decidable logic
AU  - Pierre-Loïc Garoche
AU  - Temesghen Kahsai
AU  - Cesare Tinelli
PY  - 2012
UR  - https://arxiv.org/abs/1205.3758
ID  - 1205.3758
ER  -