Yu-Fang Chen

• Automated Technology for Verification and Analysis
• Verification and Evaluation of Computer and Communication Systems