JAIST Repository >
Education and Reseach Center for Trustworthy e-Society 2004-2016 >

Collections in this community

• JAIST 21st Century COE Symposium 2005 “Verifiable and Evolvable e-Society” [12]

• AIST 21st Century COE Symposium 2006 “Verifiable and Evolvable e-Society” [1]

• JAIST 21st Century COE Symposium “Verifiable and Evolvable e-Society” [20]

• JAIST 21st Century COE Symposium 2008 Verifiable and Evolvable e-Society [24]

• JAIST/TRUST - AIST/CVS joint workshop on VERIfication TEchnology （1st VERITE） [15]

• JAIST/TRUST - AIST/CVS joint workshop on VERIfication TEchnology （3rd VERITE） [10]

• JAIST/TRUST - AIST/CVS joint workshop on VERIfication TEchnology （4th VERITE） [13]

• JAIST/TRUST - AIST/CVS joint workshop on VERIfication TEchnology （5th VERITE） [5]

• JAIST/TRUST - AIST/CVS joint workshop on VERIfication TEchnology （6th VERITE） [8]

• Theorem Proving and Provers Meeting （2nd TPP） [5]