Login / Signup
"Boring Formal Methods" or "Sherlock Holmes Deduction Methods"?
Maria Spichkova
Published in:
STAF Workshops (2016)
Keyphrases
</>
formal methods
significant improvement
multi agent
black box