Media type: E-Book Title: Using relational verification for program slicing Contributor: Beckert, Bernhard [VerfasserIn]; Bormer, Thorsten [VerfasserIn]; Gocht, Stephan [VerfasserIn]; Herda, Mihai [VerfasserIn]; Lentzsch, Daniel [VerfasserIn]; Ulbrich, Mattias [VerfasserIn] Corporation: Karlsruher Institut für Technologie, Fakultät für Informatik imprint: Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2019 Published in: Karlsruher Institut für Technologie: Karlsruhe reports in informatics ; 2019,5 Extent: 1 Online-Ressource (21 Seiten, 539,57 KB) Language: English DOI: 10.5445/IR/1000093895 Identifier: Keywords: Forschungsbericht Origination: Footnote: Access State: Open Access