Shuvendu K. Lahiri

Shuvendu K. Lahiri

2 books in the database

Books

Computer Aided VerificationShuvendu K. Lahiri

Computer Aided Verification

Shuvendu K. Lahiri · 2020

Automated Technology for Verification and AnalysisShuvendu K. Lahiri

Automated Technology for Verification and Analysis

Shuvendu K. Lahiri · 2018