Skip to main navigation Skip to search Skip to main content

Assembling Concurrent Programs Correctly from Data-Parallel Program Bricks.

K. Trojahner

Original languageEnglish
Publication statusPublished - 2008
EventCAV 2008 Workshop - Princeton, United States
Duration: 07.07.2008 → 08.07.2008

Conference

ConferenceCAV 2008 Workshop
Country/TerritoryUnited States
CityPrinceton
Period07.07.08 → 08.07.08

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

  1. SDG 9 - Industry, Innovation, and Infrastructure
    SDG 9 Industry, Innovation, and Infrastructure

Cite this