H.-Christian Estler

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

Coauthor Index

1	Thomas Ruhroth	[1]
2	Heike Wehrheim	[1] [2]