E- text books

Reset

Automated Deduction — CADE-15

Author : Kirchner 

Springer

Access online

Ada 2012 Rationale

Author : Barnes 

Springer

Access online