Browsing by Author Farzan, Azadeh
Showing results 1 to 2 of 2
| Publication Date | Article Title | Author(s) |
|---|---|---|
| Jul-2016 | Linear Arithmetic Satisfiability Via Strategy Improvement | Farzan, Azadeh; Kincaid, Zachary |
| 2017 | A New Notion of Compositionality for Concurrent Program Proofs (Invited Talk) | Farzan, Azadeh; Kincaid, Zachary |