JAIST Repository >
Education and Reseach Center for Trustworthy e-Society 2004-2016 >
Conference Papers, Presentations >
JAIST/TRUST - AIST/CVS joint workshop on VERIfication TEchnology (1st VERITE)
: [15]
Collection home page
|
|
1st VERITE : JAIST/TRUST-AIST/CVS joint workshop on VERIfication TEchnologyでの発表資料
開催:2005年9月21日~22日
開催場所:金沢市文化ホール3F
|