Building BSP Programs Using the Refinement Calculus
Loading...
Authors
Skillicorn, D.B.
Date
1996
Type
technical report
Language
en
Keyword
Alternative Title
Abstract
Description
Citation
Publisher
Queen's University Department of Computing & Information Science