Tomita Takashi 冨田尭

Researcher Number	80749226
Affiliation *help	2017 : 北陸先端科学技術大学院大学, 情報社会基盤研究センター, 助教 – 2015 : 北陸先端科学技術大学院大学, 情報社会基盤研究センター, 助教
Review Section/Research Field	Principal Investigator Software / Computer system
Keywords	Principal Investigator 形式手法 / ソフトウェア工学 / ソフトウェア検証 / 自動合成

Tomita Takashi 冨田 尭