No abstract is available for this paper.
Specification and verification of GPGPU programs
S. Blom,M. Huisman,M. Mihelčić
Published 2013 in Science of Computer Programming
ABSTRACT
PUBLICATION RECORD
- Publication year
2013
- Venue
Science of Computer Programming
- Publication date
2013-11-08
- Fields of study
Computer Science, Engineering
- Identifiers
- External record
- Source metadata
Semantic Scholar
CITATION MAP
EXTRACTION MAP
CLAIMS
- No claims are published for this paper.
CONCEPTS
- No concepts are published for this paper.
REFERENCES
Showing 1-20 of 20 references · Page 1 of 1
CITED BY
Showing 1-56 of 56 citing papers · Page 1 of 1