BibTeX record conf/seke/TsaiXZM93

download as .bib file

@inproceedings{DBLP:conf/seke/TsaiXZM93,
  author       = {Wei{-}Tek Tsai and
                  Weiwen Xie and
                  Imran A. Zualkernan and
                  Satish K. Musukula},
  title        = {A Framework for Systematic Testing of Software Specifications},
  booktitle    = {SEKE'93, The 5th International Conference on Software Engineering
                  and Knowledge Engineering, Tutorials, June 14-15, 1993, Technical
                  Program, June 16-18, 1993, Hotel Sofitel, San Francisco Bay, {USA}},
  pages        = {380--387},
  publisher    = {Knowledge Systems Institute},
  year         = {1993},
  timestamp    = {Wed, 21 Feb 2007 11:27:24 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/TsaiXZM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics