Deepak D'Souza

Deepak D'Souza

2 ספרים במאגר

ספרים

Verification, Model Checking, and Abstract InterpretationDeepak D'Souza

Verification, Model Checking, and Abstract Interpretation

Deepak D'Souza · 2014

Automated Technology for Verification and AnalysisDeepak D'Souza

Automated Technology for Verification and Analysis

Deepak D'Souza · 2017

ספרים משותפים ואוספים

ספרים שבהם Deepak D'Souza מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Modern Applications of Automata TheoryPriti Shankar

Modern Applications of Automata Theory

Priti Shankar · 2012