BibTeX record conf/re/CorreaW04

download as .bib file

@inproceedings{DBLP:conf/re/CorreaW04,
  author       = {Alexandre L. Correa and
                  Cl{\'{a}}udia Maria Lima Werner},
  title        = {Precise Specification and Validation of Transactional Business Software},
  booktitle    = {12th {IEEE} International Conference on Requirements Engineering {(RE}
                  2004), 6-10 September 2004, Kyoto, Japan},
  pages        = {16--25},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.ieeecomputersociety.org/10.1109/RE.2004.36},
  doi          = {10.1109/RE.2004.36},
  timestamp    = {Fri, 24 Mar 2023 00:05:04 +0100},
  biburl       = {https://dblp.org/rec/conf/re/CorreaW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics