2008年3月3日 - 2008年3月10日 A lecturer 役割 その他 種別 その他 主催者・責任者 Sinaia School of Formal Verification of Software Systems