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
Formal proof of the AVM-1 microprocessor using the concept of generic interpretersPhillip J. Windley · First published 1991Open the Tome
The formal verification of generic interpretersPhillip J. Windley · First published 1991Open the Tome
