TY  - RPRT
TI  - Alias and Change Calculi, Applied to Frame Inference
AU  - Alexander Kogtenkov
AU  - Bertrand Meyer
AU  - Sergey Velder
PY  - 2013
UR  - https://arxiv.org/abs/1307.3189
ID  - 1307.3189
ER  -