Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

Using Relational Verification for Program Slicing

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch und Mattias Ulbrich
In:17th International Conference on Software Engineering and Formal Methods (SEFM 2019)
Reihe:Lecture Notes in Computer Science
Jahr:2019

Anmerkung

to appear

BibTeX

@InProceedings{BeckertEtAl2019,
    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}    
}