Login / Signup
"Boring formal methods" or "Sherlock Holmes deduction methods"?
Maria Spichkova
Published in:
CoRR (2016)
Keyphrases
</>
formal methods
preprocessing
significant improvement
artificial intelligence
feature selection
software engineering
modeling language