Browsing by Author Hossain, Naorin
Showing results 1 to 1 of 1
| Publication Date | Article Title | Author(s) |
|---|---|---|
| 2020 | TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests | Hossain, Naorin; Trippel, Caroline; Martonosi, Margaret |