K. Narayan Kumar

• Automated Technology for Verification and Analysis