BibTeX record conf/kbse/Futatsugi06

download as .bib file

@inproceedings{DBLP:conf/kbse/Futatsugi06,
  author    = {Kokichi Futatsugi},
  title     = {Verifying Specifications with Proof Scores in CafeOBJ},
  booktitle = {{ASE}},
  pages     = {3--10},
  publisher = {{IEEE} Computer Society},
  year      = {2006}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics