明日、3/24よりウィーンへ出張です。 MBT (Model Based Testing),SPIN2006の２つのワークショップへ参加。どちらも ETAPS2006 http://www.complang.tuwien.ac.at/etaps06/ のサテライトイベントですが、 ETAPS本体には参加しません。 4/3に帰国予定です。と…