TY  - RPRT
TI  - Trustworthy Refactoring via Decomposition and Schemes: A Complex Case Study
AU  - Dániel Horpácsi
AU  - Judit Kőszegi
AU  - Zoltán Horváth
PY  - 2017
DO  - 10.4204/eptcs.253.8
UR  - https://arxiv.org/abs/1708.07225
ID  - 1708.07225
ER  -