[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
experience.

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

sincerely
chris moline