Correctness Proofs, Model Checking, Theorem Proving, Program Analysis
Palantir’s tools pose an invisible danger we are just beginning to comprehend | Juan Sebastian Pinto
Loading...Loading more...
Correctness Proofs, Model Checking, Theorem Proving, Program Analysis