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, Proceedings

Springer2019-10-06
Verification and Evaluation of Computer and Communication Systems14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings

Springer International Publishing AG2020-01-01