DongX97'

BibTeX

@inproceedings{DBLP:conf/compsac/DongX97,
  author    = {Lijun Dong and
               Jiafu Xu},
  title     = {Formal semantics of some functional constructs of the software
               requirements definition language NDRDL},
  booktitle = {COMPSAC},
  year      = {1997},
  pages     = {642-645},
  ee        = {http://computer.org/proceedings/compsac/8105/81050642abs.htm},
  crossref  = {DBLP:conf/compsac/1997},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/compsac/1997,
  title     = {21st International Computer Software and Applications Conference
               (COMPSAC '97), 11-15 August 1997, Washington, DC, USA},
  booktitle = {COMPSAC},
  publisher = {IEEE Computer Society},
  year      = {1997},
  isbn      = {0-8186-8105-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}