BibTeX record conf/tap/2019

download as .bib file

@proceedings{DBLP:conf/tap/2019,
  editor    = {Dirk Beyer and
               Chantal Keller},
  title     = {Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto,
               Portugal, October 9-11, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11823},
  publisher = {Springer},
  year      = {2019}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics