JAIST Repository >

Research Center for Software Verification 2010-2016

Community home page

 

All Faculty's Articles
 
or browse   
2010年(平成22年)4月 ソフトウェア検証研究センター設置
2016年(平成28年)3月 ソフトウェア検証研究センター廃止

Sub-communities within this community

 


Contact : Library Information Section, JAIST (ir-sys[at]ml.jaist.ac.jp)