BibTeX record conf/kbse/WildR94

download as .bib file

@inproceedings{DBLP:conf/kbse/WildR94,
  author       = {J. Christian Wild and
                  Daniela Rosca},
  title        = {Evolution and Reuse of Formal Specification Using Decision Structures},
  booktitle    = {Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering
                  Conference, Monterey, California, USA, September 20-23, 1994},
  pages        = {108--115},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/KBSE.1994.342672},
  doi          = {10.1109/KBSE.1994.342672},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/WildR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}