%0 Conference Paper %1 conf/ifm/BeckertBGHLU17 %A Beckert, Bernhard %A Bormer, Thorsten %A Gocht, Stephan %A Herda, Mihai %A Lentzsch, Daniel %A Ulbrich, Mattias %B IFM %D 2017 %E Polikarpova, Nadia %E Schneider, Steve A. %I Springer %K %P 312-319 %T SemSlice: Exploiting Relational Verification for Automatic Program Slicing. %U http://dblp.uni-trier.de/db/conf/ifm/ifm2017.html#BeckertBGHLU17 %V 10510 %@ 978-3-319-66845-1

@inproceedings{conf/ifm/BeckertBGHLU17, added-at = {2023-12-13T02:59:10.000+0100}, author = {Beckert, Bernhard and Bormer, Thorsten and Gocht, Stephan and Herda, Mihai and Lentzsch, Daniel and Ulbrich, Mattias}, biburl = {https://www.bibsonomy.org/bibtex/287cd163ed39bdeb20de2ee29eb6e0e5d/admin}, booktitle = {IFM}, crossref = {conf/ifm/2017}, editor = {Polikarpova, Nadia and Schneider, Steve A.}, ee = {https://doi.org/10.1007/978-3-319-66845-1_20}, interhash = {861bb811c929daa765e812197553c12c}, intrahash = {87cd163ed39bdeb20de2ee29eb6e0e5d}, isbn = {978-3-319-66845-1}, keywords = {}, pages = {312-319}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T02:59:10.000+0100}, title = {SemSlice: Exploiting Relational Verification for Automatic Program Slicing.}, url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2017.html#BeckertBGHLU17}, volume = 10510, year = 2017 }