Nathan Wasser
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2015–2017
Best venue rank
B
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | IFM | A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows. | Dominic Steinhfel, Nathan Wasser |
| 2015 | SETTA | Generating Specifications for Recursive Methods by Abstracting Program States. | Nathan Wasser |