Pages that link to "Item:Q1389681"
From MaRDI portal
The following pages link to Formal validation of data-parallel programs: a two-component assertional proof system for a simple language (Q1389681):
Displayed 1 item.
The following pages link to Formal validation of data-parallel programs: a two-component assertional proof system for a simple language (Q1389681):
Displayed 1 item.