Professur für Verifikation von Hard- und Software / Spezifikationsmethoden / Komplexitätstheorie