Login / Signup
Implications of Deductive Verification on Research Quality - Field Study.
Wojciech Mostowski
Published in:
The Logic of Software. A Tasting Menu of Formal Methods (2022)
Keyphrases
</>
higher quality
database
neural network
relational databases
databases
decision trees
search algorithm
simulation study
low quality
study proposes