Scalable Techniques for Formal Verification More Books Like This

Application and Theory of Petri Nets and Concurrency

Quantifiers and Cognition: Logical and Computational Perspectives

SSA-based Compiler Design