DBLP Record 'conf/qsic/DybjerHT03'

BibTeX

@inproceedings{DBLP:conf/qsic/DybjerHT03,
  author    = {Peter Dybjer and
               Qiao Haiyan and
               Makoto Takeyama},
  title     = {Verifying Haskell Programs by Combining Testing and Proving},
  booktitle = {QSIC},
  year      = {2003},
  pages     = {272-279},
  ee        = {http://csdl.computer.org/comp/proceedings/qsic/2003/2015/00/20150272abs.htm},
  crossref  = {DBLP:conf/qsic/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/qsic/2003,
  title     = {3rd  International Conference on Quality Software (QSIC
               2003), 6-7 November 2003, Dallas, TX, USA},
  booktitle = {QSIC},
  publisher = {IEEE Computer Society},
  year      = {2003},
  isbn      = {0-7695-2015-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}