%0 Conference Paper %1 journals/entcs/EstlerRW07 %A Estler, H.-Christian %A Ruhroth, Thomas %A Wehrheim, Heike %B Refine@ICFEM %D 2006 %E Aichernig, Bernhard K. %E Boiten, Eerke A. %E Derrick, John %E Groves, Lindsay %I Elsevier %K dblp %P 3-17 %T Modelchecking Correctness of Refactorings - Some Experiments. %U http://dblp.uni-trier.de/db/journals/entcs/entcs187.html#EstlerRW07 %V 187

@inproceedings{journals/entcs/EstlerRW07, added-at = {2023-01-31T00:00:00.000+0100}, author = {Estler, H.-Christian and Ruhroth, Thomas and Wehrheim, Heike}, biburl = {https://www.bibsonomy.org/bibtex/2213008c4abe2603328848e2e72355ede/dblp}, booktitle = {Refine@ICFEM}, crossref = {conf/refine/2006}, editor = {Aichernig, Bernhard K. and Boiten, Eerke A. and Derrick, John and Groves, Lindsay}, ee = {https://doi.org/10.1016/j.entcs.2006.08.041}, interhash = {ee7fb6bcef66d07aa41c774137e55131}, intrahash = {213008c4abe2603328848e2e72355ede}, keywords = {dblp}, pages = {3-17}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T23:40:48.000+0200}, title = {Modelchecking Correctness of Refactorings - Some Experiments.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs187.html#EstlerRW07}, volume = 187, year = 2006 }