Ask HN: Book recommendation for math behind formal verification in software? 8 years ago
Fundamental Proof Methods in Computer Science: A Computer-Based Approach by Arkoudas/Musser
Link:
https://books.google.com/books/about/Fundamental_Proof_Metho...