TY  - RPRT
TI  - A Logic for Correlating Temporal Properties across Program Transformations
AU  - Aditya Kanade
AU  - Amitabha Sanyal
AU  - Uday P. Khedker
PY  - 2012
UR  - https://arxiv.org/abs/1209.5152
ID  - 1209.5152
ER  -