An Application of Automated Theorem Provers to Computer System Security
Mitchell David Irwin Hirschfeld
Hutson Street Press
2025
pokkari