Parallel Programming with the B Method


Butler, M. J. and Waldén, M., (1999) Parallel Programming with the B Method Sekerinski, E. and Sere, K. (eds.) At Program Development by Refinement - Case Studies Using the B Method, Springer FACIT Series. , pp. 183-195.

Download

Full text not available from this repository.

Item Type: Conference or Workshop Item (Other)
Venue - Dates: Program Development by Refinement - Case Studies Using the B Method, Springer FACIT Series, 1999-01-01
Organisations: Electronic & Software Systems
ePrint ID: 250488
Date :
Date Event
1999Published
Date Deposited: 14 Jun 1999
Last Modified: 18 Apr 2017 00:20
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/250488

Actions (login required)

View Item View Item