Arie Gurfinkel

Arie Gurfinkel

2 books in the database

Books

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