Stiftungsprofessur für zuverlässige Softwaresysteme in der Automobilindustrie

Statische Software-Analyse