基本情報
名前: Han Bo
所属機関: East China Normal University
登録日: 2017-09-27
スコア: 13
所属機関: East China Normal University
登録日: 2017-09-27
スコア: 13
履歴書
参加した会議
合計 1 件。
| CCF | CORE | QUALIS | 略称 | 正式名称 | 開催日 | 開催地 |
|---|---|---|---|---|---|---|
| b | b | a2 | VMCAI | International Conference on Verification, Model Checking, and Abstract Interpretation | 2018-01-08 | Los Angeles, California, USA |
フォロー中のジャーナル
| CCF | 正式名称 | インパクトファクター | 出版社 | ISSN |
|---|---|---|---|---|
結果が得られませんでした。 | ||||
フォロー中の研究者
| 名前 | 所属機関 | 登録日 | スコア |
|---|---|---|---|
結果が得られませんでした。 | |||