Shuvendu K. Lahiri

Books

Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2020
Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
2018