サンプルスライドに課題が載っていて非常に興味深い。 http://wiki.event-b.org/index.php/Event-B_LanguageBに限らず、形式手法の演習問題集として参考になる。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。