BibTeX record series/lncs/BoerBJPTT20

download as .bib file

@incollection{DBLP:series/lncs/BoerBJPTT20,
  author    = {Frank S. de Boer and
               Marcello M. Bonsangue and
               Einar Broch Johnsen and
               Violet Ka I Pun and
               Silvia Lizeth Tapia Tarifa and
               Lars Tveito},
  title     = {SymPaths: Symbolic Execution Meets Partial Order Reduction},
  booktitle = {20 Years of KeY},
  series    = {Lecture Notes in Computer Science},
  volume    = {12345},
  pages     = {313--338},
  publisher = {Springer},
  year      = {2020}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics