Higher Order Logic Theorem Proving and Its Applications
Formal Mechanization of Device Interactions with a Process Algebra
Towards Composition of Verified Hardware Devices
Higher Order Logic Theorem Proving and Its Applications
Higher Order Logic Theorem Proving and Its Applications
Dissecting the Sequence Determinants for Dephosphorylation by the Catalytic Subunits of Phosphatases PP1 and PP2A
A New Wear Facet Terminology for Mammalian Dentitions