![SV-COMP competition SV-COMP competition](http://news.vm.uni-freiburg.de/en/newsarchive/sv-comp-competition/@@images/e9ba1e5b-82cf-44de-8c26-fb8dba7bba4c.jpeg)
Freiburg team wins for the second time in a a row
Freiburg team wins for the second time in a a row
Parlamentarischer Staatssekretär Dr. Jens Brandenburg übergibt den Fördermittelbescheid an Prof. Dr. Andreas Podelski, Professur für Softwaretechnik
Computer Scientists from Freiburg win first place at the International Competition on Software Verification (SV-COMP)
Document Actions