E- text books

Static Analysis

Author : Cousot 

Springer

Access online

Shaped Crystals

Author : Fukuda 

Springer

Access online