Home  |  deutsch  |  Legals  |  Data Protection  |  Sitemap  |  KIT

Using Relational Verification for Program Slicing

Reviewed Paper In Proceedings

Author(s):Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, and Mattias Ulbrich
In:17th International Conference on Software Engineering and Formal Methods (SEFM 2019)
Series:Lecture Notes in Computer Science
Year:2019

Note

to appear

BibTeX

@InProceedings{SEFM19,
    title       = {Using Relational Verification for Program Slicing},
    author      = {Bernhard Beckert and Thorsten Bormer and Stephan Gocht and Mihai Herda and Daniel Lentzsch and Mattias Ulbrich},
    editor      = {Peter {\"O}lveczky and Gwen Sala{\"u}n},
    booktitle   = {17th International Conference on Software Engineering and Formal Methods
                   ({SEFM} 2019)},
    series      = {Lecture Notes in Computer Science},
    year        = {2019},
    place       = {Oslo, Norway},
    date        = {September 16--20},
    month       = sep,
    note        = {to appear}    
}