Thomas Given-Wilson

ספרים שבהם Thomas Given-Wilson מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Model Checking SoftwareFabrizio Biondi

Model Checking Software

Fabrizio Biondi · 2019