Edinburgh Research Archive

Proof methods and pragmatics for parellel programming

Item Status

Embargo End Date

Date

Abstract

This item appears in the following Collection(s)