The Formal Semantics of Programming Languages: An Introduction by Glynn Winskel

An Introduction to Formal Logic by Smith, Peter, Paperback

Rigorous Software Development: An Introduction to Program Verification (Unde...

Introduction to Formal Hardware Verification by

An Introduction to Formal Languages and Automata: .

Rigorous Software Development: An Introduction to Program Verification: Used

Rigorous Software Development: An Introduction to Program Verification (Undergr

The Formal Semantics of Programming Languages: An Introduction (Foundations ...