Arie Gurfinkel

Arie Gurfinkel

2 ספרים במאגר

ספרים

Verified Software : Theories, Tools, and ExperimentsArie Gurfinkel

Verified Software : Theories, Tools, and Experiments

Arie Gurfinkel · 2016

Computer Aided VerificationArie Gurfinkel

Computer Aided Verification

Arie Gurfinkel · 2024