BibTeX record journals/sttt/BeyerJKLP06

download as .bib file

@article{DBLP:journals/sttt/BeyerJKLP06,
  author    = {Sven Beyer and
               Christian Jacobi and
               Daniel Kr{\"{o}}ning and
               Dirk Leinenbach and
               Wolfgang J. Paul},
  title     = {Putting it all together - Formal verification of the {VAMP}},
  journal   = {Int. J. Softw. Tools Technol. Transf.},
  volume    = {8},
  number    = {4-5},
  pages     = {411--430},
  year      = {2006},
  url       = {https://doi.org/10.1007/s10009-006-0204-6},
  doi       = {10.1007/s10009-006-0204-6},
  timestamp = {Thu, 02 Apr 2020 08:37:28 +0200},
  biburl    = {https://dblp.org/rec/journals/sttt/BeyerJKLP06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics