Program Development by Refinement Case Studies Using the B Method / edited by Emil Sekerinski, Kaisa Sere.
The Idea of Program Refinement Programs are complex. They are typically so complex, that they go beyond the full comprehension even of the programmer or team who designed them, with all the consequences this has. How can we cope with such complexity in a satisfactory way? An approach, advocated for...
Full description
Saved in: