TAP 2008

TAP 2008 (International Conference on Tests and Proofs)

日時：2008/4/9（水）～11（金）
場所：Monash University Prato Centre, Prato, Italy
締切：2007/11/2 - 研究論文アブスト投稿, 2007/11/9 - 研究論文投稿

見込：欠席

Bertrand Meyerが仕切っているらしい形式手法とテストのカンファレンス。今回で2回目。しかしICSTが裏番組であるのに、テスト関連の研究者は出席するのだろうか。掛け持ちかしら。