Parallel Programming with the B Method

Michael Butler, Marina Walden

Research output: Chapter in Book/Conference proceedingChapterScientificpeer-review

Original languageEnglish
Title of host publicationProgram Development by Refinement: Case Studies Using the B Method
EditorsEmil Sekerinski, Kaisa Sere
PublisherSpringer-Verlag
Chapter5
Pages183-195
Publication statusPublished - 1998
MoE publication typeA3 Part of a book or another research book

Cite this