Formalizing the Debugging Process in Haskell.

Alberto de la Encina, Luis Llana, Fernando Rubio

Browse the full ICTAC paper archive.