The following pages link to Daniel Matichuk (Q287362):
Displayed 5 items.
- Eisbach: a proof method language for Isabelle (Q287365) (← links)
- Proof of OS Scheduling Behavior in the Presence of Interrupt-Induced Concurrency (Q2829245) (← links)
- An Isabelle Proof Method Language (Q2879265) (← links)
- Mining the Archive of Formal Proofs (Q3453102) (← links)
- Noninterference for Operating System Kernels (Q4916056) (← links)