%0 Conference Paper %1 journals/corr/abs-1708-07225 %A Horpácsi, Dániel %A Köszegi, Judit %A Horváth, Zoltán %B VPT@ETAPS %D 2017 %E Lisitsa, Alexei %E Nemytykh, Andrei P. %E Proietti, Maurizio %K dblp %P 92-108 %T Trustworthy Refactoring via Decomposition and Schemes: A Complex Case Study. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs253.html#abs-1708-07225 %V 253

@inproceedings{journals/corr/abs-1708-07225, added-at = {2018-11-02T00:00:00.000+0100}, author = {Horpácsi, Dániel and Köszegi, Judit and Horváth, Zoltán}, biburl = {https://www.bibsonomy.org/bibtex/221b11f0851be91074b7606cdcc4bb0c8/dblp}, booktitle = {VPT@ETAPS}, crossref = {journals/corr/abs-1708-06887}, editor = {Lisitsa, Alexei and Nemytykh, Andrei P. and Proietti, Maurizio}, ee = {http://arxiv.org/abs/1708.07225}, interhash = {ee7c810a114478553878d817ffc6c7b9}, intrahash = {21b11f0851be91074b7606cdcc4bb0c8}, keywords = {dblp}, pages = {92-108}, series = {EPTCS}, timestamp = {2024-04-09T09:30:17.000+0200}, title = {Trustworthy Refactoring via Decomposition and Schemes: A Complex Case Study.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs253.html#abs-1708-07225}, volume = 253, year = 2017 }