TY  - RPRT
TI  - Fully Automated Shape Analysis Based on Forest Automata
AU  - Lukas Holik
AU  - Ondrej Lengal
AU  - Adam Rogalewicz
AU  - Jiri Simacek
AU  - Tomas Vojnar
PY  - 2013
UR  - https://arxiv.org/abs/1304.5806
ID  - 1304.5806
ER  -