BibTeX record journals/shonan-reports/ArthoJLN15

download as .bib file

@article{DBLP:journals/shonan-reports/ArthoJLN15,
  author       = {Cyrille Artho and
                  Einar Broch Johnsen and
                  Martin Leucker and
                  Keiko Nakata},
  title        = {Static analysis meets runtime verification {(NII} Shonan Meeting 2015-5)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2015},
  year         = {2015},
  url          = {https://shonan.nii.ac.jp/seminars/062/},
  timestamp    = {Thu, 04 Mar 2021 17:20:44 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/ArthoJLN15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics