The following pages link to Eyad Alkassar (Q835774):
Displayed 4 items.
- Balancing the load. Leveraging a semantics stack for systems verification (Q835780) (← links)
- Proving the correctness of client/server software (Q1040009) (← links)
- A framework for the verification of certifying computations (Q2351144) (← links)
- Formal Pervasive Verification of a Paging Mechanism (Q5458324) (← links)