Skip to content

Formal Refinement of BSP Programs with Early Cost Evaluation.

Virginia Niculescu

VenueCISPDC
Year2011
ProceedingsISPDC

Browse the full ISPDC paper archive.