Ask HN: Book recommendation for math behind formal verification in software?

I'm very interested in that field, unfortunately, the math part pretty much escapes me.

The long term goal is to be able to use Coq or Isabelle to prove some small piece of software.