Akash Lal

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

Verification, Model Checking, and Abstract InterpretationDeepak D'Souza

Verification, Model Checking, and Abstract Interpretation

Deepak D'Souza · 2014

Computer Aided VerificationConstantin Enea

Computer Aided Verification

Constantin Enea · 2023