# Event-B - JavaShuo

# Event-B

# Event-B

# Event-B

全部

【Event-B學習筆記】1：相繼式(Sequent)和推理規則(Inference Rule)

2021-01-20 # Event-B Event-B 需求建模形式化方法快樂工作

每日一句

每一个你不满意的现在，都有一个你没有努力的曾经。