- Department
- Architecture & Planning
- Content type
- Periodicals
- Authors
- Xiaowei Huang, Daniel Kroening, Wenjie Ruan, James J. Sharp, Youcheng Sun, Emese Thamo, Min Wu, Xinping Yi
- Publisher
- Elsevier BV
- Journal
- Computer Science Review
- DOI
- 10.1016/j.cosrev.2020.100270
- ISSN
- 1574-0137
- Volume / Issue
- Not available
- Language
- en
- Views
- 1