Bメソッド
Classical B
とも呼ぶ
「B」と呼んだ時に、Bメソッドのことを指すのか、
Event-B
を指すのか紛らわしいからかな
mrsekut.icon