Ferruccio Damiani

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

Formal Methods for Executable Software ModelsMarco Bernardo

Formal Methods for Executable Software Models

Marco Bernardo · 2014

Types for Proofs and ProgramsStefano Berardi

Types for Proofs and Programs

Stefano Berardi · 2004