Login / Signup
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY.
Alexander Knüppel
Thomas Thüm
Carsten Immanuel Pardylla
Ina Schaefer
Published in:
ITP (2018)
Keyphrases
</>
high security
data sets
database
real time
wireless sensor networks
expectation maximization
em algorithm