An Automated Approach for Constructing Concrete Repairs for Model Inconsistencies

Kretschmer, Roland

by Roland Kretschmer

Reference:

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

Bibtex Entry:

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