Nathan Wasser
From MaRDI portal
Person:1707600
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
