Skip to main content

Browse by Journal

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creator's name | Item Type | Date | No Grouping
Jump to: D
Number of items: 1.

D

Dominic, Orchard, Mistral, Contrastin, Matthew, Danish, Andrew, Rice (2017) Verifying Spatial Properties of Array Computations. Journal of Proceedings of the ACM, 1 (OOPSLA). p. 75. ISSN 2475-1421. E-ISSN 2475-1421. (doi:10.1145/3133899)
[img]
Preview

This list was generated on Mon Dec 9 00:10:17 2019 GMT.