Verification, Model Checking, and Abstract Interpretation Plus de livres par Fritz Henglein, Sharon Shoham & Yakir Vizel

Automatic Program Development

2008