Login / Signup
Mechanized proofs of opacity: a comparison of two techniques.
John Derrick
Simon Doherty
Brijesh Dongol
Gerhard Schellhorn
Oleg Travkin
Heike Wehrheim
Published in:
Formal Aspects Comput. (2018)
Keyphrases
</>
preprocessing
databases
machine learning
search engine
face recognition
multiscale
data structure
image retrieval
statistical analysis
theorem proving
equational theories