Resources

Formal Methods in Computer-Aided Design

Author : Gopalakrishnan 

Springer

Access online

Formal Methods in Outer Space

Author : Bartocci 

Springer

Access online