基本情報
名前: Anna Jin
所属機関: Shenyang Aerospace University
登録日: 2023-09-05
スコア: 204
所属機関: Shenyang Aerospace University
登録日: 2023-09-05
スコア: 204
履歴書
参加した会議
合計 1 件。
| CCF | CORE | QUALIS | 略称 | 正式名称 | 開催日 | 開催地 |
|---|---|---|---|---|---|---|
| b | b | a2 | VMCAI | International Conference on Verification, Model Checking, and Abstract Interpretation | 2024-01-17 | London, UK |
フォロー中のジャーナル
| CCF | 正式名称 | インパクトファクター | 出版社 | ISSN |
|---|---|---|---|---|
結果が得られませんでした。 | ||||
フォロー中の研究者
| 名前 | 所属機関 | 登録日 | スコア |
|---|---|---|---|
結果が得られませんでした。 | |||