@thesis{Koenig2014,
	type = "Master's thesis",
	author = "Christian Patrik K{\"o}nig",
	title = "{Static Code Analysis for PHP}",
	year = 2014,
	month = aug,
	school = "{Universiteit van Amsterdam}",
	address = "Amsterdam, The Netherlands",
	url = "https://scripties.uba.uva.nl/search?id=515751",
}