Resources

Formal Methods and Testing

Author : Hierons 

Springer

Access online

Foundations of Hyperbolic Manifolds

Author : Ratcliffe 

Springer

Access online

Foundations of Inductive Logic Programming

Author : Nienhuys-Cheng 

Springer

Access online