TY -
GEN
AU - Estler, H.-Christian
AU - Ruhroth, Thomas
AU - Wehrheim, Heike
TI -
Modelchecking Correctness of Refactorings - Some Experiments
PB - Elsevier BV
SN - 1571-0661
KW - General Computer Science
KW - Theoretical Computer Science
PY - 2007
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -