BibTeX record conf/qsic/Lund03

download as .bib file

@inproceedings{DBLP:conf/qsic/Lund03,
  author       = {Mass Soldal Lund},
  title        = {Testing Decomposition of Component Specifications Based on a Rule
                  for Formal Verification},
  booktitle    = {3rd International Conference on Quality Software {(QSIC} 2003), 6-7
                  November 2003, Dallas, TX, {USA}},
  pages        = {154--160},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/QSIC.2003.1319098},
  doi          = {10.1109/QSIC.2003.1319098},
  timestamp    = {Thu, 23 Mar 2023 23:58:02 +0100},
  biburl       = {https://dblp.org/rec/conf/qsic/Lund03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics