Yu-Fang Chen

Books
Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
2026
Verification and Evaluation of Computer and Communication Systems Verification and Evaluation of Computer and Communication Systems
Verification and Evaluation of Computer and Communication Systems
2020
Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
2019