[Haskell-beginners] Book on formal methods?

C Gosch ch.gosch at googlemail.com
Wed Apr 4 10:05:08 CEST 2012

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?

Thanks a lot,

More information about the Beginners mailing list