20100429

※上記の広告は60日以上更新のないWIKIに表示されています。更新することで広告が下部へ移動します。

開催情報

  • 日時:4/29 13:00-19:00
  • 場所:銀座ルノアールビッグスビル店 2号室
  • 参加者数:9名(飛び込みで入ってくれたみなさんありがとう!)

アジェンダ

  • Alloy(by ken.coba)
    • Software AbstractionsのA Whirlwind Tourをみんなで実施する。
  • CEGAR(シガー) (by komagatimeさん)
    • komagatimeさんによる解説
  • Coq(by tmiyaさん)
    • CPDTを実施する。

コメント、質問

最終更新:2010年05月02日 11:16
ツールボックス

下から選んでください:

新しいページを作成する
ヘルプ / FAQ もご覧ください。
添付ファイル