Filter the results Item type Select All/None Image File News Item Language Independent Folder Collection Language Root Folder Folder New items since Yesterday Last week Last month Ever Search results Subscribe to an always-updated RSS feed. 3 items matching your search terms. Sort by relevance date (newest first) alphabetically Machine quality assurance for software Computer Scientists from Freiburg win first place at the International Competition on Software Verification (SV-COMP) Located in newsarchive Prof. Andreas Podelski erhält 1,15 Millionen Euro Parlamentarischer Staatssekretär Dr. Jens Brandenburg übergibt den Fördermittelbescheid an Prof. Dr. Andreas Podelski, Professur für Softwaretechnik Located in newsarchive SV-COMP competition Freiburg team wins for the second time in a a row Located in newsarchive