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

 

All Faculty's Articles
 
or browse     
1st VERITE : JAIST/TRUST-AIST/CVS joint workshop on VERIfication TEchnologyでの発表資料
開催:2005年9月21日~22日
開催場所:金沢市文化ホール3F


 


Contact : Library Information Section, Japan Advanced Institute of Science and Technology