BibTeX record conf/iastedSE/MuJL05

download as .bib file

@inproceedings{DBLP:conf/iastedSE/MuJL05,
  author       = {Kedian Mu and
                  Zhi Jin and
                  Ruqian Lu},
  editor       = {Peter Kokol},
  title        = {A Logical Approach for Testing Requirements},
  booktitle    = {{IASTED} International Conference on Software Engineering, part of
                  the 23rd Multi-Conference on Applied Informatics, Innsbruck, Austria,
                  February 15-17, 2005},
  pages        = {408--413},
  publisher    = {{IASTED/ACTA} Press},
  year         = {2005},
  timestamp    = {Thu, 27 Oct 2005 12:09:59 +0200},
  biburl       = {https://dblp.org/rec/conf/iastedSE/MuJL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}