BibTeX record conf/tools/JiangLX00

download as .bib file

@inproceedings{DBLP:conf/tools/JiangLX00,
  author       = {Hui Jiang and
                  Dong Lin and
                  Xiren Xie},
  title        = {Embedding {UML} and Type Theory to Formalize the Process of Requirement
                  Engineering},
  booktitle    = {{TOOLS} Asia 2000: 36th International Conference on Technology of
                  Object-Oriented Languages and Systems, Xi'an, China, 30 October -
                  4 November 2000},
  pages        = {32--39},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/TOOLS.2000.885895},
  doi          = {10.1109/TOOLS.2000.885895},
  timestamp    = {Thu, 23 Mar 2023 23:59:25 +0100},
  biburl       = {https://dblp.org/rec/conf/tools/JiangLX00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics