Login / Signup

Program Verification: a 70+- Year History.

Moshe Y. Vardi
Published in: TASE (2021)
Keyphrases
  • multi agent
  • real world
  • artificial intelligence
  • knowledge discovery