Verification, Model Checking, and Abstract Interpretation Sách Khác Của Fritz Henglein, Sharon Shoham & Yakir Vizel

Automatic Program Development

2008