Filter the results Item type Select All/None Language Independent Folder Folder News Item File Collection Language Root Folder Image New items since Yesterday Last week Last month Ever Search results Subscribe to an always-updated RSS feed. 1 items matching your search terms. Sort by relevance date (newest first) alphabetically Ruling out errors in computer programs Freiburg team winner of the 5. International Competition on Software Verificaton Located in newsarchive