Original language | English |
---|---|
Journal | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Volume | 11781 LNCS |
State | Published - 2019 |
Event | 17th International Symposium on Automated Technology for Verification and Analysis, ATVA 2019 - Taipei, Taiwan, Province of China Duration: 28 Oct 2019 → 31 Oct 2019 |
Preface
Yu Fang Chen, Chih Hong Cheng, Javier Esparza
Research output: Contribution to journal › Editorial