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 |
Parallel Programming with the B Method
Michael Butler, Marina Walden
Research output: Chapter in Book/Conference proceeding › Chapter › Scientific › peer-review