Verification, Model Checking, and Abstract Interpretation More Books by Fritz Henglein, Sharon Shoham & Yakir Vizel

Automatic Program Development

2008