Shuvendu K. Lahiri

Shuvendu K. Lahiri

2 ספרים במאגר

ספרים

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