H.-Christian Estler

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

2 H.-Christian Estler, Heike Wehrheim: Alloy as a Refactoring Checker? Electr. Notes Theor. Comput. Sci. 214: 331-357 (2008)

2007

1 H.-Christian Estler, Thomas Ruhroth, Heike Wehrheim: Modelchecking Correctness of Refactorings - Some Experiments. Electr. Notes Theor. Comput. Sci. 187: 3-17 (2007)

	2008
2		H.-Christian Estler, Heike Wehrheim: Alloy as a Refactoring Checker? Electr. Notes Theor. Comput. Sci. 214: 331-357 (2008)
	2007
1		H.-Christian Estler, Thomas Ruhroth, Heike Wehrheim: Modelchecking Correctness of Refactorings - Some Experiments. Electr. Notes Theor. Comput. Sci. 187: 3-17 (2007)

Coauthor Index