Resources

Formal Methods Teaching

Author : Dongol 

Springer

Access online

Formal Methods Teaching

Author : Ferreira 

Springer

Access online

Foundations of Computer Science

Author : Freksa 

Springer

Access online

Foundations of Computer Security

Author : Salomon 

Springer

Access online