2017年7月
Model Checking with Metaheuristics
2017 International Symposium for Advanced Computing and Information Technology (ISACIT 2017)
- 記述言語
- 英語
- 会議種別
- 口頭発表（招待・特別）
- リンク情報
熊澤 努
クマザワ ツトム (Tsutomu Kumazawa)
更新日: 02/09