Login / Signup

Automatically Proving Concurrent Programs Correct.

Byron Cook
Published in: SEFM (2007)
Keyphrases
  • concurrent programs
  • real time
  • artificial intelligence
  • distributed systems
  • description language
  • process algebra