Constantin Enea

Constantin Enea

2 ספרים במאגר

ספרים

Verification, Model Checking, and Abstract InterpretationConstantin Enea

Verification, Model Checking, and Abstract Interpretation

Constantin Enea · 2019

Computer Aided VerificationConstantin Enea

Computer Aided Verification

Constantin Enea · 2023

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

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

Networked SystemsArmando Castañeda

Networked Systems

Armando Castañeda · 2024