Isabelle/Isar
確認用
Q. Isabelle,Isar
参考
Isabelle/Isar勉強会を社内で開催しました - DeNA Testing Blog
関連