Kedar S. Namjoshi

• Hardware and Software: Verification and Testing
• Verification, Model Checking, and Abstract Interpretation
• Verification, Model Checking, and Abstract Interpretation (vol. # 3855)