抽象によるソフトウェア設計-Alloyではじめる形式手法-の訳者の方に拾われて Formal Methods Forumの勉強会におじゃますることにしました。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。