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