dvanhorn / var

Verification via Abstract Reduction

http://arxiv.org/abs/1103.1362

Geek Repo

Github PK Tool