Phillip J. Windley · 6 obras en el catálogoObrasTThe formal verification of generic interpretersThe formal verification of generic interpretersFFormal proof of the AVM-1 microprocessor using the concept oFormal proof of the AVM-1 microprocessor using the concept of generic interpretersHigher order logic theorem proving and its applicationsHHigher Order Logic Theorem Proving and Its ApplicationsHigher Order Logic Theorem Proving and Its ApplicationsThe Live WebDDigital IdentityDigital Identity
FFormal proof of the AVM-1 microprocessor using the concept oFormal proof of the AVM-1 microprocessor using the concept of generic interpreters
HHigher Order Logic Theorem Proving and Its ApplicationsHigher Order Logic Theorem Proving and Its Applications
