BibTeX record conf/csa2/0001G0F15

download as .bib file

@inproceedings{DBLP:conf/csa2/0001G0F15,
  author    = {Masaki Nakamura and
               Daniel G{\^{a}}in{\^{a}} and
               Kazuhiro Ogata and
               Kokichi Futatsugi},
  editor    = {Doo{-}Soon Park and
               Han{-}Chieh Chao and
               Young{-}Sik Jeong and
               James Jong Hyuk Park},
  title     = {Proving Sufficient Completeness of Constructor-Based Algebraic Specifications},
  booktitle = {Advances in Computer Science and Ubiquitous Computing - {CSA} {\&}
               {CUTE} 2015, Cebu, Philippines, December 15-17, 2015},
  series    = {Lecture Notes in Electrical Engineering},
  volume    = {373},
  pages     = {15--21},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-981-10-0281-6\_3},
  doi       = {10.1007/978-981-10-0281-6\_3},
  timestamp = {Wed, 29 May 2019 09:35:09 +0200},
  biburl    = {https://dblp.org/rec/conf/csa2/0001G0F15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics