P
Phillip J. Windley
5 works on record
Works

Higher order logic theorem proving and its applications

The Live Web
The formal verification of generic interpreters
The formal verification of generic interpreters
Formal proof of the AVM-1 microprocessor using the concept of generic interpreters
Formal proof of the AVM-1 microprocessor using the concept of generic interpreters
Digital Identity
Digital Identity