共同研究・競争的資金等の研究課題

2015年4月 - 2017年12月

実用効率の振舞いに基づくソフトウェア検証の数理的構造

日本学術振興会  二国間交流事業 共同研究  
  • 結縁 祥治

資金種別
競争的資金