The Civl Verifier.

Bernhard Kragl Shaz Qadeer

Published in: FMCAD (2021)

Keyphrases

designated verifier
data mining
relational databases
multi dimensional
similarity measure
digital images
object oriented
open source
java card