Infoscience

Thesis

Automatic Verification with Abstraction and Theorem Proving

Related material