An Automated Approach for Constructing Concrete Repairs for Model Inconsistencies (bibtex)
by Roland Kretschmer
Reference:
An Automated Approach for Constructing Concrete Repairs for Model Inconsistencies (Roland Kretschmer), 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}
}