08.30.2015 - By Erik Seligman
I shamelessly plug my new Formal Verification book.
(Send feeback to [email protected])