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 = {21st {IEEE/ACM} International Conference on Automated Software Engineering
               {(ASE} 2006), 18-22 September 2006, Tokyo, Japan},
  pages     = {3--10},
  year      = {2006},
  crossref  = {DBLP:conf/kbse/2006},
  url       = {https://doi.org/10.1109/ASE.2006.73},
  doi       = {10.1109/ASE.2006.73},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/conf/kbse/Futatsugi06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2006,
  title     = {21st {IEEE/ACM} International Conference on Automated Software Engineering
               {(ASE} 2006), 18-22 September 2006, Tokyo, Japan},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/4019543/proceeding},
  isbn      = {0-7695-2579-2},
  timestamp = {Wed, 16 Jun 2021 20:32:57 +0200},
  biburl    = {https://dblp.org/rec/conf/kbse/2006.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics