The following pages link to Norbert W. Schirmer (Q835777):
Displayed 6 items.
- Balancing the load. Leveraging a semantics stack for systems verification (Q835780) (← links)
- Pervasive Theory of Memory (Q3644715) (← links)
- Integration of a Software Model Checker into Isabelle (Q5387852) (← links)
- Formal Pervasive Verification of a Paging Mechanism (Q5458324) (← links)
- Theorem Proving in Higher Order Logics (Q5477661) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705937) (← links)
