BibTeX record conf/ACMse/BelkhoucheUR82

download as .bib file

@inproceedings{DBLP:conf/ACMse/BelkhoucheUR82,
  author    = {Boumediene Belkhouche and
               Joseph E. Urban and
               Gregory A. Riccardi},
  title     = {Synthesizing abstract data type specifications},
  booktitle = {Proceedings of the 20th Annual Southeast Regional Conference, 1982,
               Knoxville, Tennessee, USA, April 1-3, 1982},
  pages     = {176--181},
  year      = {1982},
  crossref  = {DBLP:conf/ACMse/1982},
  url       = {http://doi.acm.org/10.1145/503896.503928},
  doi       = {10.1145/503896.503928},
  timestamp = {Wed, 18 Jun 2008 07:41:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ACMse/BelkhoucheUR82},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ACMse/1982,
  title     = {Proceedings of the 20th Annual Southeast Regional Conference, 1982,
               Knoxville, Tennessee, USA, April 1-3, 1982},
  publisher = {{ACM}},
  year      = {1982},
  isbn      = {0-89791-071-0},
  timestamp = {Wed, 18 Jun 2008 07:39:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ACMse/1982},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier