01
Jean-Raymond Abrial, B, and Event-B: Refinement as a Method for Building Systems
Jean-Raymond Abrial’s B method and later Event-B made refinement, proof obligations and set-theoretic modeling central to a disciplined path from abstract system models toward increasingly concrete designs.
↗