The following pages link to Thomas D. Sewell (Q2631536):
Displayed 8 items.
- Multiscale simulation of the responses of discrete nanostructures to extreme loading conditions based on the material point method (Q2631537) (← links)
- A Framework for the Automatic Formal Verification of Refinement from Cogent to C (Q2829268) (← links)
- Refinement through restraint: bringing down the cost of verification (Q2982005) (← links)
- seL4 Enforces Integrity (Q3088017) (← links)
- Reconstruction of Z3’s Bit-Vector Proofs in HOL4 and Isabelle/HOL (Q3100212) (← links)
- Secure Microkernels, State Monads and Scalable Refinement (Q3543657) (← links)
- Constituent properties of HMX needed for mesoscale simulations (Q4546726) (← links)
- Cogent: uniqueness types and certifying compilation (Q5019022) (← links)