TY  - RPRT
TI  - Shape and Content: Incorporating Domain Knowledge into Shape Analysis
AU  - Diego Calvanese
AU  - Tomer Kotek
AU  - Mantas Šimkus
AU  - Helmut Veith
AU  - Florian Zuleger
PY  - 2014
UR  - https://arxiv.org/abs/1312.6624
ID  - 1312.6624
ER  -