Logic in Computer Science and Formal Verification

“Logic in Computer Science and Formal Verification” traces the principles, methods and debates shaping foundational and applied topics across computer science and computing, the work of Keshav Raut. The book pairs rigorous scholarship with a readable style suited to both study and reference. Aimed at computer-science students, educators, and professionals, it is published by Khushbu Publications, Bengaluru, India under its Oxford Academic Publications imprint, and released in 2024.