[OT[ proving programs for novices

Chris Moline cmoline@shaw.ca
17 Mar 2003 19:19:19 -0700

hi. this isnt a haskell question but i am hoping you will forgive it.

i was wondering where i could find books/websites/tutorials on how to
construct proofs and how to prove programs. preferably books that are
aimed at novices with some programming experience but little math/logic

i have paul hudaks hsoe book which has some material on proving
properties of programs.

chris moline