BibTeX record journals/jrnal/KatayamaHKYAO19

download as .bib file

@article{DBLP:journals/jrnal/KatayamaHKYAO19,
  author    = {Tetsuro Katayama and
               Futa Hirakoba and
               Yoshihiro Kita and
               Hisaaki Yamaba and
               Kentaro Aburada and
               Naonobu Okazaki},
  title     = {Application of Pairwise Testing into {BWDM} which is a Test Case Generation
               Tool for the {VDM++} Specification},
  journal   = {J. Robotics Netw. Artif. Life},
  volume    = {6},
  number    = {3},
  pages     = {143--147},
  year      = {2019},
  url       = {https://doi.org/10.2991/jrnal.k.191202.001},
  doi       = {10.2991/jrnal.k.191202.001},
  timestamp = {Wed, 20 May 2020 21:33:18 +0200},
  biburl    = {https://dblp.org/rec/journals/jrnal/KatayamaHKYAO19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics