BibTeX record conf/issre/WargVSS14

download as .bib file

@inproceedings{DBLP:conf/issre/WargVSS14,
  author       = {Fredrik Warg and
                  Benjamin Vedder and
                  Martin A. Skoglund and
                  Andreas S{\"{o}}derberg},
  title        = {Safety {ADD:} {A} Tool for Safety-Contract Based Design},
  booktitle    = {25th {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Naples, Italy, November 3-6, 2014},
  pages        = {527--529},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ISSREW.2014.18},
  doi          = {10.1109/ISSREW.2014.18},
  timestamp    = {Fri, 24 Mar 2023 00:04:23 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/WargVSS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics