Regression verification for programmable logic controller software

@mastersthesis{WeiglThesis2015,
	author = {['Alexander Sebastian Weigl']},
	school = {Karlsruhe Institute of Technology},
	title = {Regression Verification for Programmable Logic Controller Software},
	year = {2015},
	month = {January},
	type = {Master's thesis},
	ids = {masterthesis},
	keywords = {IMPROVE}
}