The following pages link to Dirk C. Leinenbach (Q835776):
Displayed 4 items.
- Balancing the load. Leveraging a semantics stack for systems verification (Q835780) (← links)
- Theorem Proving in Higher Order Logics (Q5477643) (← links)
- Correct Hardware Design and Verification Methods (Q5493211) (← links)
- Correct Hardware Design and Verification Methods (Q5897057) (← links)