Special issue: The 13th International Symposium on Automated Technology for Verification and Analysis (ATVA 2015) Preface-MedSci.cn - 梅斯（MedSci）

Special issue: The 13th International Symposium on Automated Technology for Verification and Analysis (ATVA 2015) Preface

Finkbeiner, B; Pu, GG; Zhang, LJ

Zhang, LJ (reprint author), ISCAS, State Key Lab Comp Sci, Beijing, Peoples R China.; Zhang, LJ (reprint author), Univ Chinese Acad Sci, Beijing, Peoples R China.

ACTA INFORMATICA, 2018; 55 (8): 625

科室
- - 订阅+
  - 更多科室
工具
服务