author = { Estler, H.-Christian AND Ruhroth, Thomas AND Wehrheim, Heike },

title = { Modelchecking Correctness of Refactorings - Some Experiments },

publisher = {Elsevier BV},

isbn = {1571-0661},

keywords = { General Computer Science , Theoretical Computer Science },

year = {2007},

url = { http://slubdd.de/katalog?TN_libero_mab2 }