Skip to content

Home Practice Lessons About

Phillip J. Windley

Books

Higher order logic theorem proving and its applications
The formal verification of generic interpreters
The Live Web
Formal proof of the AVM-1 microprocessor using the concept of generic interpreters
Higher Order Logic Theorem Proving and Its Applications
Digital Identity

Author data: Open Library

Book Glossary · bookglossary.comA nonprofit resource from Dover Public Library and the Tuscarawas County Literacy Coalition.