Nathan Wasser

From MaRDI portal
Person:1707600

Available identifiers

zbMath Open wasser.nathanMaRDI QIDQ1707600

List of research outcomes





PublicationDate of PublicationType
The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics2024-03-01Paper
A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows2022-11-04Paper
Array abstraction with symbolic pivots2021-05-20Paper
Fermat, Euler, Wilson -- three case studies in number theory2018-04-03Paper
Generating Specifications for Recursive Methods by Abstracting Program States2017-08-31Paper

Research outcomes over time

This page was built for person: Nathan Wasser

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1707600&oldid=6253924"
Powered by MediaWiki