Login / Signup
Scalable Fine-Grained Proofs for Formula Processing.
Haniel Barbosa
Jasmin Christian Blanchette
Pascal Fontaine
Published in:
CADE (2017)
Keyphrases
</>
fine grained
coarse grained
access control
massively parallel
tightly coupled
data lineage