Articoli correlati a An Application of Automated Theorem Provers to Computer...

An Application of Automated Theorem Provers to Computer System Security - Rilegato

Hirschfeld, Mitchell David Irwin

 
9781025139890: An Application of Automated Theorem Provers to Computer System Security