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