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},
  title     = {Proving Sufficient Completeness of Constructor-Based Algebraic Specifications},
  booktitle = {{CSA/CUTE}},
  series    = {Lecture Notes in Electrical Engineering},
  volume    = {373},
  pages     = {15--21},
  publisher = {Springer},
  year      = {2015}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics