Items where Author / Artist / Editor is "Gkorogiannis, Nikos"

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 1.

Conference or Workshop Item

Gkorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609, Peter, O'Hearn and Ilya, Sergey (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)

This list was generated on Thu Nov 26 05:10:53 2020 GMT.