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

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

Hirschfeld, Mitchell David Irwin

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