BibTeX record conf/icse/SakabeIH82

download as .bib file

@inproceedings{DBLP:conf/icse/SakabeIH82,
  author       = {Toshiki Sakabe and
                  Yasuyoshi Inagaki and
                  Namio Honda},
  editor       = {Yutaka Ohno and
                  Victor R. Basili and
                  Hajime Enomoto and
                  Koji Kobayashi and
                  Raymond T. Yeh},
  title        = {Specification of Abstract Data Types with Partially Defined Operations},
  booktitle    = {Proceedings, 6th International Conference on Software Engineering,
                  Tokyo, Japan, September 13-16, 1982},
  pages        = {218--224},
  publisher    = {{IEEE} Computer Society},
  year         = {1982},
  url          = {http://dl.acm.org/citation.cfm?id=807764},
  timestamp    = {Mon, 14 May 2012 18:17:19 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/SakabeIH82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics