Books by Mitchell David Irwin Hirschfeld

An Application of Automated Theorem Provers to Computer System Security : The Schematic Protection Model

Mitchell David Irwin Hirschfeld - Paperback