Assembling Concurrent Programs Correctly from Data-Parallel Program Bricks.

Original languageEnglish
Publication statusPublished - 2008
EventCAV 2008 Workshop - Princeton, United States
Duration: 07.07.200808.07.2008

Conference

ConferenceCAV 2008 Workshop
Country/TerritoryUnited States
CityPrinceton
Period07.07.0808.07.08

Cite this