学術貢献活動

2008年3月3日 - 2008年3月10日

A lecturer


役割
その他
種別
その他
主催者・責任者
Sinaia School of Formal Verification of Software Systems