基本情報
名前: Yi Lv
所属機関: Institute of Software, Chinese Academy of Sciences
登録日: 2014-12-15
スコア: 123
研究関心プロフィール システム自動生成

閲覧した会議やジャーナルから、この研究者は主に ソフトウェア工学 に関心があると見られます。 よく閲覧する会議・ジャーナルには ATVA, iFM, ESOP, CAV, CONCUR などがあります。

履歴書
フォロー中の会議
CCFICORE略称正式名称投稿締切通知日開催日
結果が得られませんでした。
参加した会議
合計 1 件。
CCFICORE略称正式名称開催日開催地
CBATVAInternational Symposium on Automated Technology for Verification and Analysis2015-10-12Shanghai, China
フォロー中のジャーナル
CCF正式名称インパクトファクター出版社ISSN
結果が得られませんでした。
フォロー中の研究者
名前所属機関登録日スコア
結果が得られませんでした。