Browsing by Author Dockins, R
Showing results 1 to 1 of 1
| Publication Date | Article Title | Author(s) |
|---|---|---|
| 1-Jan-2014 | Verified compilation for shared-memory C | Beringer, L; Stewart, G; Dockins, R; Appel, Andrew W. |
| Publication Date | Article Title | Author(s) |
|---|---|---|
| 1-Jan-2014 | Verified compilation for shared-memory C | Beringer, L; Stewart, G; Dockins, R; Appel, Andrew W. |