An Automated Approach for Constructing Concrete Repairs for Model Inconsistencies

Kretschmer, Roland

by Kretschmer, Roland

Reference:

Kretschmer, Roland: An Automated Approach for Constructing Concrete Repairs for Model Inconsistencies, Master's thesis, Johannes Kepler University, 2016.

Bibtex Entry:

@MASTERSTHESIS{Kretschmer2016,
  author = {Kretschmer, Roland},
  title = {An Automated Approach for Constructing Concrete Repairs for Model
	Inconsistencies},
  school = {Johannes Kepler University},
  keyword = {FWF P25289},
  year = {2016}
}