Verification, Model Checking, and Abstract Interpretation المزيد من كتب Fritz Henglein, Sharon Shoham & Yakir Vizel

Automatic Program Development

٢٠٠٨