@manual{
	titlea = "Prof.",
	vornamea = "Gunnar",
	namea = "Teege",
	departmenta = "Fakultät für Informatik",
	institutea = "INF 3 - Institut für Technische Informatik",
	titleb = "",
	vornameb = "",
	nameb = "",
	departmentb = "",
	instituteb = "",
	titlec = "",
	vornamec = "",
	namec = "",
	departmentc = "",
	institutec = "",
	external-funds = "Bay. Stm. f. Wirtschaft, Landesentwicklung und Energie",
	company = "",
	project-title = "SW_GruVe
Erweiterung der Grundlagen für formale Verifikation von Software und deren Anwendung",
	project-abstract = "In diesem Projekt sollen Werkzeuge zur formalen Verifikation von Software weiter entwickelt und besonders sicherheitskritische Betriebssystemkomponenten exemplarisch formal verifiziert werden.",
	proj-beginn = "01.10.2020",
	proj-end = "31.12.2022",
	forschungszentrum = "CODE"
}