Alloyのハンズオンないかなーとつぶやいたら。

抽象によるソフトウェア設計－Alloyではじめる形式手法－の訳者の方に拾われて
Formal Methods Forumの勉強会におじゃますることにしました。