Items where Author / Artist / Editor is "Gkorogiannis, Nikos"
 | See full list of headings |
Group by: Item Type | No Grouping
Jump to: Conference or Workshop Item
Number of items: 1.
Conference or Workshop Item
Gkorogiannis, Nikos 
ORCID: https://orcid.org/0000-0001-8660-6609, O'Hearn, Peter W. and Sergey, Ilya
(2019)
A true positives theorem for a static race detector.
Proceedings of the ACM on Programming Languages, Volume 3 Issue POPL.
In: POPL 2019, 12-19 Jan 2019, Cascais, Portugal.
.
ISSN 2475-1421
[Conference or Workshop Item]
(doi:10.1145/3290370)
