Cyber SecurityKristin Haltinner, Dilshani Sarathchandra, James Alves-Foss, Kevin Chang, Daniel Conte de Leon, Jia Song · First published 2016Open the Tome
Higher Order Logic Theorem Proving and Its ApplicationsE. Thomas Schubert, Phillip J. Windley, James Alves-Foss · First published 2014Open the Tome
Higher order logic theorem proving and its applicationsPhillip J. Windley, James Alves-Foss, Gerhard Goos, Juris Hartmanis · First published 1995Open the Tome
