Publication

Automatic Verification with Abstraction and Theorem Proving