BibTeX record conf/forte/GuerrouatKU95

download as .bib file

@inproceedings{DBLP:conf/forte/GuerrouatKU95,
  author       = {Abdelaziz Guerrouat and
                  Hartmut K{\"{o}}nig and
                  Andreas Ulrich},
  editor       = {Gregor von Bochmann and
                  Rachida Dssouli and
                  Omar Rafiq},
  title        = {{SELEXPERT} - {A} Knowledge-based Tool for Test Case Selection},
  booktitle    = {Formal Description Techniques VIII, Proceedings of the {IFIP} {TC6}
                  Eighth International Conference on Formal Description Techniques,
                  Montreal, Canada, October 1995},
  series       = {{IFIP} Conference Proceedings},
  volume       = {43},
  pages        = {313--328},
  publisher    = {Chapman {\&} Hall},
  year         = {1995},
  timestamp    = {Thu, 03 Jan 2002 11:58:39 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/GuerrouatKU95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics