[Haskell-beginners] Book on formal methods?

[Wojciech Jedynak]

2012/4/4 C Gosch <ch.gosch at googlemail.com>:
> Hi there,
>
> I suspect that some here may be experts in formal methods. Can you
> recommend a book on formal methods
> (for software engineering)? I do not know about formal methods so far,
> I can take some theory, and in a book I would like to have
> some examples and practical issues explained as well as theoretical stuff.
> Any recommendations?

I'm not sure if that's what you wanted, but you may enjoy working
through the Software Foundations online textbook
(http://www.cis.upenn.edu/~bcpierce/sf/).
It's has a lot of hands on exercises in the Coq proof assistant (which
it introduced from scratch).

Greetings,
Wojciech