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 |
ISBN (Print) | 978-1-85233-053-8 |
DOIs | |
Publication status | Published - 1999 |
MoE publication type | A3 Part of a book or another research book |
Publication series
Name | Formal Approaches to Computing and Information Technology FACIT |
---|