The role of induction in (semi-)automated software life-cycles. Hernández-Orallo, J. & Ramírez-Quintana, M. J. In 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000, pages 283–295, 2000.
bibtex   
@inproceedings{DBLP:conf/wflp/Hernandez-OralloR00,
  author    = {Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and
               M. Jos{\'{e}} Ram{\'{\i}}rez{-}Quintana},
  editor    = {Mar{\'{\i}}a Alpuente},
  title     = {The role of induction in (semi-)automated software life-cycles},
  booktitle = {9th International Workshop on Functional and Logic Programming, WFLP'2000,
               Benicassim, Spain, September 28-30, 2000},
  pages     = {283--295},
  year      = {2000},
  timestamp = {Tue, 30 Nov 2004 09:20:36 +0100},
  biburl    = {https://dblp.org/rec/conf/wflp/Hernandez-OralloR00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0