Doron Peled

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

Automated Technology for Verification and AnalysisCyrille Artho

Automated Technology for Verification and Analysis

Cyrille Artho · 2016

Computer aided verificationNicolas Halbwachs

Computer aided verification

Nicolas Halbwachs · 1999

Model Checking, Second EditionOrna Grumberg

Model Checking, Second Edition

Orna Grumberg · 2018