Yu-Fang Chen
Identifiers
- Open LibraryOL7941662A
Books by Yu-Fang Chen
Total count: 2
Automated Technology for Verification and Analysis17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, ProceedingsSpringer2019-10-06-
Verification and Evaluation of Computer and Communication Systems14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, ProceedingsSpringer International Publishing AG2020-01-01