Parallel Programming with the B Method

Research output: Chapter in Book/Conference proceeding › Chapter › Scientific › peer-review

Original language	English
Title of host publication	Program Development by Refinement: Case Studies Using the B Method
Editors	Emil Sekerinski, Kaisa Sere
Publisher	Springer-Verlag
Chapter	5
Pages	183-195
Publication status	Published - 1998
MoE publication type	A3 Part of a book or another research book

Cite this

@inbook{691aa0dacebc41ac80676f15989c6b99,

title = "Parallel Programming with the B Method",

author = "Michael Butler and Marina Walden",

year = "1998",

language = "English",

pages = "183--195",

editor = "Emil Sekerinski and Kaisa Sere",

booktitle = "Program Development by Refinement: Case Studies Using the B Method",

publisher = "Springer-Verlag",

}