Ruzica Piskac

Ruzica Piskac

1 ספרים במאגר

ספרים

Verified Software. Theories, Tools, and ExperimentsRuzica Piskac

Verified Software. Theories, Tools, and Experiments

Ruzica Piskac · 2018

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

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

Verification, Model Checking, and Abstract InterpretationConstantin Enea

Verification, Model Checking, and Abstract Interpretation

Constantin Enea · 2019