TY  - RPRT
TI  - Effect Summaries for Thread-Modular Analysis
AU  - Lukáš Holík
AU  - Roland Meyer
AU  - Tomáš Vojnar
AU  - Sebastian Wolff
PY  - 2017
UR  - https://arxiv.org/abs/1705.03701
ID  - 1705.03701
ER  -