研究分野
研究分野・キーワード（日本語）
研究分野・キーワード（英語）
Basic information
Name
Kumazawa Tsutomu
研究分野・キーワード（日本語）
モデル検査, ソフトウェア工学
研究分野・キーワード（英語）
Model Checking, Software Engineering
