The following pages link to Nathan Wasser (Q1707600):
Displaying 5 items.
- Fermat, Euler, Wilson -- three case studies in number theory (Q1707601) (← links)
- Array abstraction with symbolic pivots (Q2026786) (← links)
- A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows (Q5045479) (← links)
- Generating Specifications for Recursive Methods by Abstracting Program States (Q5351877) (← links)
- The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics (Q6122639) (← links)