K. Narayan Kumar

Books that list K. Narayan Kumar among their authors but not as the lead author: co-written works, collections and compilations.

Automated Technology for Verification and AnalysisDeepak D'Souza

Automated Technology for Verification and Analysis

Deepak D'Souza · 2017