Nathan Wasser
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics Electronic Proceedings in Theoretical Computer Science | 2024-03-01 | Paper |
| A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows Lecture Notes in Computer Science | 2022-11-04 | Paper |
| Array abstraction with symbolic pivots | 2021-05-20 | Paper |
| Fermat, Euler, Wilson -- three case studies in number theory Journal of Automated Reasoning | 2018-04-03 | Paper |
| Generating specifications for recursive methods by abstracting program states Dependable Software Engineering: Theories, Tools, and Applications | 2017-08-31 | Paper |
Research outcomes over time
This page was built for person: Nathan Wasser
