BibTeX record conf/compsac/YiRP96

download as .bib file

@inproceedings{DBLP:conf/compsac/YiRP96,
  author    = {Kwangkeun Yi and
               Sukyoung Ryu and
               Kihyun Pyun},
  title     = {Estimating Uncaught Exceptions in Standard {ML} Programs from Type-Based
               Equations},
  booktitle = {{COMPSAC} '96 - 20th Computer Software and Applications Conference,
               August 19-23, 1996, Seoul, Korea},
  pages     = {455--460},
  year      = {1996},
  crossref  = {DBLP:conf/compsac/1996},
  url       = {https://doi.org/10.1109/CMPSAC.1996.544613},
  doi       = {10.1109/CMPSAC.1996.544613},
  timestamp = {Sun, 21 May 2017 00:22:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/compsac/YiRP96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/compsac/1996,
  title     = {{COMPSAC} '96 - 20th Computer Software and Applications Conference,
               August 19-23, 1996, Seoul, Korea},
  publisher = {{IEEE} Computer Society},
  year      = {1996},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=3926},
  isbn      = {0-8186-7579-9},
  timestamp = {Thu, 09 Oct 2014 16:51:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/compsac/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics