Kedar Namjoshi

Kedar Namjoshi

1 ספרים במאגר

ספרים

Automated Technology for Verification and AnalysisKedar Namjoshi

Automated Technology for Verification and Analysis

Kedar Namjoshi · 2007

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

ספרים שבהם Kedar Namjoshi מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Static AnalysisCezara Dragoi

Static Analysis

Cezara Dragoi · 2021