Login / Signup

Three Early Formal Approaches to the Verification of Concurrent Programs.

Cliff B. Jones
Published in: Minds Mach. (2024)
Keyphrases
  • concurrent programs
  • artificial intelligence
  • expert systems