Book

Scalable Techniques for Formal Verification

by Sandip Ray