2019 年 6月 11 日随笔档案 - Spillage

摘要：最近老公在上网络安全的课，课上老师提到了event-B，感觉是完全没见过的领域，记录在这里学习下. Event-B is an evolution of B-Method developed by Jean-Raymond Abrial, 这位大神来自MS研究院，80+的教授了阅读全文

posted @ 2019-06-11 10:49 Spillage 阅读(364) 评论(1) 推荐(0)