Yu-Fang Chen – författare
Visar alla böcker från författaren Yu-Fang Chen.
3 produkter
Automated Technology for Verification and Analysis
17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
Av Yu-Fang Chen, Chih-Hong Cheng m. fl.
Häftad, 2019
739 kr
Lägg i varukorg
Verification and Evaluation of Computer and Communication Systems
14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings
Av Belgacem Ben Hedia, Yu-Fang Chen m. fl.
Häftad, 2020
739 kr
Lägg i varukorg
Verification, Model Checking, and Abstract Interpretation
27th International Conference, VMCAI 2026, Rennes, France, January 12–13, 2026, Proceedings
Av Yu-Fang Chen, Thomas Jensen m. fl.
Häftad, 2026
1089 kr
Lägg i varukorg