Resources

Foundations of Intelligent Systems

Author : Kryszkiewicz 

Springer

Access online

Formal Methods for Mobile Computing

Author : Bernardo 

Springer

Access online