研究分野

Basic information

Name Kumazawa Tsutomu

研究分野・キーワード(日本語)

モデル検査, ソフトウェア工学

研究分野・キーワード(英語)

Model Checking, Software Engineering