1
by Gopalakrishnan, Ganesh
Published 2006
Springer US
... underlying modern industrial formal verification." - Dr. Michael J.C. Gordon FRS, The University of Cambridge...

2
by Keshav, Srinivasan
Published 2012
Addison-Wesley

3
Published 2007
Springer Berlin Heidelberg
... Robinson (University of Cambridge/UK), whose presentations are partially included in the first section...