%0 Conference Paper %1 journals/entcs/Kieburtz07a %A Kieburtz, Richard B. %B Festschrift honoring Gary Lindstrom %D 2007 %E Gopalakrishnan, Ganesh %I Elsevier %K dblp %P 61-79 %T Strength Induction in a Haskell Program Verifier. %U http://dblp.uni-trier.de/db/journals/entcs/entcs193.html#Kieburtz07a %V 193

@inproceedings{journals/entcs/Kieburtz07a, added-at = {2023-02-09T00:00:00.000+0100}, author = {Kieburtz, Richard B.}, biburl = {https://www.bibsonomy.org/bibtex/2aade5b949de67ae0e215558f6b2b02d8/dblp}, booktitle = {Festschrift honoring Gary Lindstrom}, crossref = {conf/birthday/2007lindstrom}, editor = {Gopalakrishnan, Ganesh}, ee = {https://doi.org/10.1016/j.entcs.2007.10.008}, interhash = {caac1c227fa8eaa3284d18c2eeca3826}, intrahash = {aade5b949de67ae0e215558f6b2b02d8}, keywords = {dblp}, pages = {61-79}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T14:05:55.000+0200}, title = {Strength Induction in a Haskell Program Verifier.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs193.html#Kieburtz07a}, volume = 193, year = 2007 }