Erik Seligman

• Formal Verification
• Formal verification : an essential toolkit for modern VLSI design
• Math Mutation Classics
• Formal Verification
• Revolution of Promises